2947 search results - page 180 / 590 » The timely token protocol |
151
click to vote
AINTEC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Emergency networks normally operate under highly unpredictable wireless environment and hence real time performance information holds a great significance that cannot be...
162
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we describe a time management approach to distributed agent-based simulation. We propose a new time management policy by joining optimistic synchronization techniques...
164
click to vote
ICLP
2007
Springer
16 years 7 days ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
148
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
156
Voted
FPL
2006
Springer
15 years 9 months ago
2006
Springer
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols bet...