248 search results - page 49 / 50 » A Finite-State Approach to Event Semantics |
IFM
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
SIGSOFT
2008
ACM
14 years 7 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
MM
2004
ACM
13 years 11 months ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...
COORDINATION
2004
Springer
13 years 11 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
WWW
2010
ACM
13 years 10 months ago
2010
ACM
Selecting and presenting content culled from multiple heterogeneous and physically distributed sources is a challenging task. The exponential growth of the web data in modern time...