113 search results - page 1 / 23 » When Simulation Meets Antichains |
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
HT
2004
ACM
14 years 1 months ago
2004
ACM
We describe the extension to our previous work on a Web-based peer-to-peer open hypermedia system, the DDLS. We enrich the peer model by introducing query history, and propose the...
ISWC
1999
IEEE
14 years 24 days ago
1999
IEEE
This paper introduces the notion of a Wearable Community as a group of wearable users who cooperate for their mutual benefit. In such a community, wearable computers act as person...
ICDCS
2010
IEEE
14 years 5 days ago
2010
IEEE
Abstract—Information interaction is a crucial part of modern transportation activities. In this paper, we propose the idea of Vehicle-to-Passenger communication (V2P), which allo...
JAMIA
2011
12 years 11 months ago
2011
Background Providers have been reluctant to disclose patient data for public-health purposes. Even if patient privacy is ensured, the desire to protect provider confidentiality h...