950 search results - page 67 / 190 » Modified global k |
SAB
2004
Springer
14 years 3 months ago
2004
Springer
While techniques exist for simulating swarming behaviors, these methods usually provide only simplistic navigation and planning capabilities. In this review, we explore the benefi...
TABLEAUX
2009
Springer
14 years 4 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
ICDE
1999
IEEE
14 years 11 months ago
1999
IEEE
We develop a data integration approach for the efficient evaluation of queries over autonomous source databases. The approach is based on some novel applications and extensions of...
EUROSYS
2006
ACM
14 years 7 months ago
2006
ACM
In stand-alone databases, the two functions of ordering the transaction commits and making the effects of transactions durable are generally performed in one action, namely in the...
CODES
2002
IEEE
14 years 3 months ago
2002
IEEE
The aggressive evolution of the semiconductor industry — smaller process geometries, higher densities, and greater chip complexity — has provided design engineers the means to...