123 search results - page 25 / 25 » Using Model Checking to Detect Deadlocks in Distributed Obje... |
GIS
2008
ACM
14 years 6 months ago
2008
ACM
We introduce a parallel approximation of an Over-determined Laplacian Partial Differential Equation solver (ODETLAP) applied to the compression and restoration of terrain data use...
COMSWARE
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
SIGMOD
2010
ACM
13 years 5 months ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...