3938 search results - page 59 / 788 » Interactive Protocols on the Reals |
164
click to vote
LCN
2000
IEEE
15 years 9 months ago
2000
IEEE
Future computer networks are expected to carry bursty real-time traffic with stringent time-delay requirements. Popular shortest-path routing protocols have the disadvantage of ca...
149
click to vote
HYBRID
1995
Springer
15 years 9 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
232
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
144
click to vote
NORDICHI
2006
ACM
15 years 11 months ago
2006
ACM
Experience Design is an emergent field of study, and various approaches to the field abound. In this paper, we take a pragmatic approach to identifying key aspects of an experienc...
RTAS
2006
IEEE
15 years 11 months ago
2006
IEEE