1502 search results - page 10 / 301 » Computational Realizations of Living Systems |
PODC
1999
ACM
13 years 11 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
CVDB
2005
ACM
13 years 9 months ago
2005
ACM
Querying live media streams captured by various sensors is becoming a challenging problem, due to the data heterogeneity and the lack of a unifying data model capable of accessing...
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...
ICDCS
2008
IEEE
14 years 1 months ago
2008
IEEE
Advances in networking, sensors, medical devices and smart phones have made it feasible to monitor and provide medical and other assistance to people either in their homes or outs...