921 search results - page 143 / 185 » On Interleaving in Timed Automata |
DCOSS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a distributed, localized and integrated approach for establishing both low-level (i.e. exploration of 1-hop neighbors, interference avoidance) and high-level (...
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
Requirements prioritization plays a key role in the requirements engineering process, in particular with respect to critical tasks such as requirements negotiation and software re...
ACSD
2003
IEEE
15 years 5 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
117
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Interacting agents that interleave planning and execution must reach consensus on their commitments to each other. In domains where agents have varying degrees of interaction and ...
APSEC
2002
IEEE
15 years 4 months ago
2002
IEEE
Many methods for XML processing have been proposed in the last few years. One popular approach is to process XML documents by using existing programming languages. Another popular...