53 search results - page 11 / 11 » CPO semantics of timed interactive actor networks |
MUE
2007
IEEE
13 years 11 months ago
2007
IEEE
In ubiquitous computing environments like smart home, residents can conveniently enjoy various home entertainments, such as watching TV, listening music, etc, through invisible an...
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
MOBISYS
2004
ACM
14 years 5 months ago
2004
ACM
The amount of personal digital media is increasing, and managing it has become a pressing problem. Effective management of media content is not possible without content-related me...