575 search results - page 87 / 115 » Transition systems for designing and reasoning about norms |
NOSSDAV
2001
Springer
15 years 3 months ago
2001
Springer
Recent advancements in video and audio codec technologies (e.g., RealVideo [18]) make multimedia streaming possible across a wide range of network conditions. With an increasing t...
101
click to vote
LCTRTS
2005
Springer
15 years 4 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
USS
2004
15 years 22 days ago
2004
We present Tor, a circuit-based low-latency anonymous communication service. This second-generation Onion Routing system addresses limitations in the original design by adding per...
CAV
2005
Springer
15 years 4 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
102
click to vote
KI
2002
Springer
14 years 11 months ago
2002
Springer
This paper deals with various kinds of mental representations available for linguistic instruction in spatial humanrobot interaction. After a survey of the literature on spatial r...