15375 search results - page 2697 / 3075 » cans 2008 |
184
Voted
ATC
2008
Springer
15 years 8 months ago
2008
Springer
Dynamic collaboration environments in which team member utilize different pervasive collaboration services for their collaborative work pose many challenges for service adaptation....
224
Voted
ATC
2008
Springer
15 years 8 months ago
2008
Springer
To overcome the rising complexity of computing systems, the paradigms of Autonomic Computing and Organic Computing have been introduced. By using an observer/controller architectur...
182
click to vote
ATC
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
167
Voted
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
194
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...