113 search results - page 1 / 23 » When Simulation Meets Antichains |
TACAS
2010
Springer
13 years 11 months ago
2010
Springer
HT
2004
ACM
13 years 10 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
13 years 9 months 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
13 years 8 months 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 7 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...