1490 search results - page 250 / 298 » Interactive semantics |
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
INFOVIS
2003
IEEE
14 years 29 days ago
2003
IEEE
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...
CONCUR
2003
Springer
14 years 27 days ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
CCGRID
2002
IEEE
14 years 19 days ago
2002
IEEE
Abstract— This paper presents an experimental evaluation of the latency performance of several implementations of Simple Object Access Protocol (SOAP) operating over HTTP, and co...
ICNP
2002
IEEE
14 years 18 days ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...