12741 search results - page 331 / 2549 » Editorial and call for papers |
128
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
171
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The predominate traffic patterns in a wireless sensor network are many-to-one and one-to-many communication. Hence, the performance of wireless sensor networks is characterized by ...
139
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...
147
click to vote
DAM
2006
15 years 6 months ago
2006
Given n clones with some positive ones, the problem of DNA screening is to identify all positive clones with a set of tests each on a subset of clones, called a pool and the outco...
169
click to vote
ENTCS
2006
15 years 6 months ago
2006
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...