Sciweavers

438 search results - page 43 / 88
» Emergent Properties in Reactive Systems
Sort
View
ICECCS
2002
IEEE
86views Hardware» more  ICECCS 2002»
14 years 20 days ago
Reasoning about Asynchronous Behaviour in Distributed Systems
When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn’t interfere badly with the original system. A...
Peter Henderson
ECAI
2004
Springer
14 years 1 months ago
Models of Behavior Deviations in Model-Based Systems
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
Peter Struss
CCS
2003
ACM
14 years 29 days ago
PPay: micropayments for peer-to-peer systems
Emerging economic P2P applications share the common need for an efficient, secure payment mechanism. In this paper, we present PPay, a micropayment system that exploits unique cha...
Beverly Yang, Hector Garcia-Molina
PERCOM
2010
ACM
13 years 6 months ago
iFall - a new embedded system for the detection of unexpected falls
—This paper describes a new embedded system, called iFall, for the detection of unexpected falls for elderly people. In combination with a new sensors system and the monitoring o...
Ralf Salomon, Martin Lüder, Gerald Bieber
COORDINATION
2004
Springer
14 years 1 months ago
Active Coordination in Ad Hoc Networks
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
Christine Julien, Gruia-Catalin Roman