589 search results - page 86 / 118 » Introducing Dynamic Constraints in B |
MOBIWAC
2009
ACM
14 years 19 days ago
2009
ACM
We consider sensor networks where the sensor nodes are attached on entities that move in a highly dynamic, heterogeneous manner. To capture this mobility diversity we introduce a ...
KI
2001
Springer
14 years 13 days ago
2001
Springer
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
HOTOS
1999
IEEE
14 years 8 days ago
1999
IEEE
Today's fast-growing data-intensive network services place heavy demands on the backend servers that support them. This paper introduces ISTORE, an intelligent server archite...
ISPAN
1999
IEEE
14 years 8 days ago
1999
IEEE
Much progress has been made toward solving the problem of routing packets inside an ad hoc network, but there are presently no complete proposals for connecting ad hoc networks to...
CASES
2006
ACM
13 years 11 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...