499 search results - page 24 / 100 » Compositional Systems over Reducible Networks |
138
Voted
ADHOCNOW
2006
Springer
15 years 9 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...
126
Voted
CADE
2006
Springer
16 years 4 months 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...
136
Voted
FPL
2005
Springer
15 years 9 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...
112
Voted
DEBS
2009
ACM
15 years 10 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...
150
Voted
SIGECOM
2004
ACM
15 years 9 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...