554 search results - page 56 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
139
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
142
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
189
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
154
click to vote
ISICT
2003
15 years 7 months ago
2003
Situational information can enrich the interactions between a user and the services they wish to utilize. Such information encompasses details about the user, the physical environ...
170
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...