575 search results - page 80 / 115 » Transition systems for designing and reasoning about norms |
131
click to vote
GRAPHICSINTERFACE
2011
14 years 2 months ago
2011
Multi-display environments (MDEs) connect several displays into a single digital workspace. One of the main problems to be solved in an MDE’s design is how to enable movement of...
102
click to vote
WWW
2007
ACM
16 years 4 days ago
2007
ACM
Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive s...
CCS
2007
ACM
15 years 5 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
DAGSTUHL
1994
15 years 23 days ago
1994
Functionality-based recognition systems recognize objects at the category level by reasoning about how well the objects support the expected function. Such systems naturally assoc...
106
click to vote
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Misconfigured P2P traffic caused by bugs in volunteer-developed P2P software or by attackers is prevalent. It influences both end users and ISPs. In this paper, we discover and stu...