93 search results - page 8 / 19 » Causes and Explanations Revisited |
CHI
2006
ACM
15 years 11 months ago
2006
ACM
We present a new 4-key text entry method that, unlike most few-key methods, is gestural instead of selection-based. Importantly, its gestures mimic the writing of Roman letters fo...
VLDB
1990
ACM
15 years 3 months ago
1990
ACM
Referential integrity underlies the relational representation of objeceoriented structures. The concept of referential integrity in relational databases is hindered by the confusi...
DSD
2008
IEEE
15 years 28 days ago
2008
IEEE
Caching mechanism has achieved great success in general purpose processor; however, its deployment in Network Processor (NP) raises questions over its effectiveness under the new ...
CANDC
2004
ACM
14 years 11 months ago
2004
ACM
A chief cybernetic feature of natural living systems is the recycling of nutrients, which tends to enhance stability and is one of the principal causes of ecosystem complexity. In...
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...