5132 search results - page 859 / 1027 » Toward Design as Collaboration |
173
click to vote
MSWIM
2005
ACM
16 years 2 days ago
2005
ACM
Envisioning a new generation of sensor network applications in healthcare and workplace safety, we seek mechanisms that provide timely and reliable transmissions of mission-critic...
156
click to vote
ADAEUROPE
2005
Springer
16 years 2 days ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
163
click to vote
CAV
2005
Springer
16 years 2 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
171
click to vote
ESAS
2005
Springer
16 years 1 days ago
2005
Springer
Sensor networks are large scale networks consisting of several nodes and some base stations. The nodes are monitoring the environment and send their measurement data towards the ba...
163
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
The Army’s push towards developing highly flexible military teams that combine manned and unmanned units requires significant advances in the intelligence of the unmanned units ...