2468 search results - page 413 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
139
Voted
CW
2008
IEEE
15 years 10 months ago
2008
IEEE
The availability of intuitive, user-friendly and specialized software to work with 3D models of cultural heritage artifacts is as important as the availability of low-cost and rob...
137
Voted
TITB
2010
14 years 10 months ago
2010
Thoracic electrical impedance tomography (EIT) is a noninvasive, radiation-free monitoring technique whose aim is to reconstruct a cross-sectional image of the internal spatial dis...
123
click to vote
OSDI
2002
ACM
16 years 3 months ago
2002
ACM
Client request rates for Internet services tend to be bursty and thus it is important to maintain efficient resource utilization under a wide range of load conditions. Network ser...
126
Voted
DOLAP
2004
ACM
15 years 9 months ago
2004
ACM
A peer-to-peer (P2P) data management system consists essentially of a network of peer systems, each maintaining full autonomy over its own data resources. Data exchange between pe...
148
Voted
CLOUDCOM
2010
Springer
15 years 26 days ago
2010
Springer
Geospatial queries (GQ) have been used in a wide variety of applications such as decision support systems, profile-based marketing, bioinformatics and GIS. Most of the existing qu...