690 search results - page 49 / 138 » Testing Temporal Logic Properties in Distributed Systems |
115
click to vote
ECMDAFA
2007
Springer
15 years 6 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
109
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
116
click to vote
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
121
Voted
DCOSS
2008
Springer
15 years 2 months ago
2008
Springer
Wireless sensor nodes can act as distributed detectors for recognizing activities online, with the final goal of assisting the users in their working environment. We propose an act...