813 search results - page 114 / 163 » Correctness Properties for Multiagent Systems |
128
Voted
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
122
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we study a service procurement problem with uncertainty as to whether service providers are capable of completing a given task within a specified deadline. This typ...
120
Voted
PERVASIVE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. One of the key challenges faced when developing contextaware pervasive systems is to capture the set of inputs that we want a system to adapt to. Arbitrarily specifying r...
143
Voted
GI
2004
Springer
15 years 9 months ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
117
Voted
ECBS
1996
IEEE
15 years 7 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...