499 search results - page 24 / 100 » Compositional Systems over Reducible Networks |
101
click to vote
ADHOCNOW
2006
Springer
15 years 5 months ago
2006
Springer
Flash memory is often the technology of choice for sensor networks because of its cost-effectiveness and attractive energy properties. In storage-constrained sensor network applica...
CADE
2006
Springer
16 years 1 days ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
100
click to vote
FPL
2005
Springer
15 years 5 months ago
2005
Springer
Software-based Network Intrusion Detection Systems (NIDS) often fail to keep up with high-speed network links. In this paper an FPGA-based pre-filter is presented that reduces th...
83
Voted
DEBS
2009
ACM
15 years 6 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
114
click to vote
SIGECOM
2004
ACM
15 years 5 months ago
2004
ACM
The increasing popularity of resource exchange through peerto-peer networks has encouraged the development of ways to support more complex commercial transactions over these netwo...