163 search results - page 20 / 33 » Living machines |
CAV
1998
Springer
15 years 1 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
WDAG
1993
Springer
15 years 1 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
DAIS
2010
14 years 11 months ago
2010
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
AAAI
2004
14 years 10 months ago
2004
The Independent LifeStyle AssistantTM (I.L.S.A.) is an agentbased monitoring and support system to help elderly people to live longer in their homes by reducing caregiver burden. ...
JAISE
2010
14 years 4 months ago
2010
The pervasive sensing technologies found in smart environments offer unprecedented opportunities for monitoring and assisting the individuals who live and work in these spaces. As ...