437 search results - page 66 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
The growing computational and storage needs of several scientific applications mandate the deployment of extreme-scale parallel machines, such as IBM’s Blue Gene/L which can acc...
GLOBECOM
2008
IEEE
13 years 9 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
CIDR
2003
13 years 10 months ago
2003
With the rapid increase in the use of inexpensive, location-aware sensors in a variety of new applications, large amounts of time-sequenced location data will soon be accumulated....
CSCW
2006
ACM
14 years 2 months ago
2006
ACM
We report on the results of an ethnographic study of how elders manage their medication with the objective of informing the design of in-home assistive health technology to suppor...
TACAS
2000
Springer
14 years 16 days ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...