3938 search results - page 59 / 788 » Interactive Protocols on the Reals |
LCN
2000
IEEE
15 years 1 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...
HYBRID
1995
Springer
15 years 1 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...
141
click to vote
FASE
2004
Springer
15 years 1 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...
NORDICHI
2006
ACM
15 years 3 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 3 months ago
2006
IEEE