2468 search results - page 484 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
128
Voted
ISPA
2004
Springer
15 years 5 months ago
2004
Springer
Static DHT topologies influence important features of such DHTs such as scalability, communication load balancing, routing efficiency and fault tolerance. Nevertheless, it is co...
109
click to vote
BTW
2007
Springer
15 years 3 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...
169
click to vote
GRAPHICSINTERFACE
1996
15 years 1 months ago
1996
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
110
Voted
SIGMOD
2010
ACM
14 years 12 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...
SIGSOFT
2009
ACM
16 years 12 days ago
2009
ACM
Software engineering researchers have long been interested in where and why bugs occur in code, and in predicting where they might turn up next. Historical bug-occurence data has ...