1134 search results - page 149 / 227 » Using Constraints with Action Language for Model Evolution |
187
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Social media websites promote diverse user interaction on media objects as well as user actions with respect to other users. The goal of this work is to discover community structu...
169
click to vote
IEEEARES
2007
IEEE
16 years 17 days ago
2007
IEEE
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
187
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
194
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
201
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...