1664 search results - page 154 / 333 » Making a Case for Multi-Agent Systems |
172
Voted
SNPD
2003
15 years 6 months ago
2003
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
148
click to vote
SOSP
1997
ACM
15 years 6 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
145
click to vote
IAJIT
2008
15 years 4 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
138
click to vote
ICOST
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a guideline-driven healthcare service platform for smart homes. The clinical guidelines are usually established by medical experts according to the symptoms of ...
124
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We study a deployment strategy for a group of vehicles that drift in an ambient flow field. Specifically, we address the case where the flow is always greater in magnitude than an ...