586 search results - page 105 / 118 » Network invariants for real-time systems |
HYBRID
2010
Springer
14 years 1 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
TMA
2010
Springer
13 years 5 months ago
2010
Springer
This paper aims at proposing a methodology for evaluating current IDS capabilities of detecting attacks targeting the networks and their services. This methodology tries to be as r...
CCE
2007
13 years 8 months ago
2007
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
Data Stream Management Systems are useful when large volumes of data need to be processed in real time. Examples include monitoring network traffic, monitoring financial transacti...
ANCS
2009
ACM
13 years 5 months ago
2009
ACM
Ubiquitous multi-core-based web servers and edge routers are increasingly popular in deploying computationally intensive Deep Packet Inspection (DPI) programs. Previous work has s...