3082 search results - page 569 / 617 » Deviation Analysis: A New Use of Model Checking |
162
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
Modern scientific applications consume massive volumes of data produced by computer simulations. Such applications require new data management capabilities in order to scale to te...
106
click to vote
BCSHCI
2007
15 years 1 months ago
2007
The present study explores potential usability gaps when users switch from a familiar to an unfamiliar mobile phone interface. A within-subject experiment was performed in which n...
CORR
1998
Springer
14 years 11 months ago
1998
Springer
Phrase structure trees have a hierarchical structure. In many subjects, most notably in taxonomy such tree structures have been studied using ultrametrics. Here syntactical hierar...
111
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Bargaining networks model the behavior of a set of players who need to reach pairwise agreements for making profits. Nash bargaining solutions in this context correspond to soluti...
104
click to vote
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...