5149 search results - page 312 / 1030 » Timed Asynchronous Distributed Systems |
137
click to vote
RTAS
1999
IEEE
15 years 8 months ago
1999
IEEE
Unique challenges are present when one tries to build distributed real-time applications using standard o -the-shelf systems which are in common use but are not necessarily design...
117
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
117
click to vote
EDUTAINMENT
2009
Springer
15 years 10 months ago
2009
Springer
This paper addresses the issues of distributed interactions in a simulation based medial training environment, where a team of doctors, nurses and assistants are trained for handli...
130
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
139
Voted
CP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...