3938 search results - page 193 / 788 » Interactive Protocols on the Reals |
146
click to vote
ICALT
2010
IEEE
15 years 2 months ago
2010
IEEE
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...
234
click to vote
SIMVIS
2007
15 years 6 months ago
2007
This paper reports on the development of a novel mixed reality I/O device tailored to the requirements of interaction with geo-spatial data in the immediate environment of the use...
158
Voted
CN
2007
15 years 4 months ago
2007
Large scale distributed systems typically have interactions among different services that create an avenue for propagation of a failure from one service to another. The failures ...
138
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— We present a software infrastructure that embeds physical hosts in a simulated network. Aiming to create a largescale real-time virtual network testbed, our real-time interacti...
106
click to vote
ACSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
pwdArmor is a framework for fortifying conventional password-based authentications. Many password protocols are performed within an encrypted tunnel (e.g., TLS) to prevent the exp...