759 search results - page 87 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
188
Voted
ICDE
1995
IEEE
16 years 1 months ago
1995
IEEE
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...
84
Voted
SIGIR
2002
ACM
15 years 7 days ago
2002
ACM
We develop a method for predicting query performance by computing the relative entropy between a query language model and the corresponding collection language model. The resultin...
105
click to vote
SOSP
2005
ACM
15 years 9 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
111
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
89
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Online self collision detection system for humanoid robots is an essentially important function for developing sensor based behaviors without worrying about breaking hardware. ...