93 search results - page 16 / 19 » Timed Unfoldings for Networks of Timed Automata |
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
— The DECOS architecture aims at combining the advantages of federated and integrated systems. The DECOS architecture divides the overall system into a set of nearly-independent ...
103
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
107
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
FORTE
2007
15 years 1 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
110
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Network Intrusion Detection Systems (NIDS) are more and more important for identifying and preventing the malicious attacks over the network. This paper proposes a novel cost-e...