553 search results - page 23 / 111 » A General Theory of Additive State Space Abstractions |
IPSN
2004
Springer
14 years 1 months ago
2004
Springer
This paper investigates the problem of designing decentralized representations to support monitoring and inferences in sensor networks. State-space models of physical phenomena su...
SIAMCO
2000
13 years 8 months ago
2000
In this paper the theory of evolution semigroups is developed and used to provide a framework to study the stability of general linear control systems. These include autonomous and...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Though cooperative communication has been intensively examined for general wireless systems, such as mobile and ad-hoc networks, it has been almost unexplored in the ca...