1753 search results - page 267 / 351 » State Machines |
75
Voted
COMPSAC
2002
IEEE
15 years 3 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
DSN
2002
IEEE
15 years 3 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
81
Voted
AINA
2010
IEEE
15 years 3 months ago
2010
IEEE
—Network Intrusion Detection System (NIDS) is a system which can detect network attacks resulted from worms and viruses on the Internet. An efficient pattern matching algorithm p...
EDCC
2010
Springer
15 years 2 months ago
2010
Springer
Implementing a fault-tolerant state machine boils down to reaching consensus on a sequence of commands. In wide area networks (WANs), where network delays are typically large and ...
PCI
2001
Springer
15 years 2 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...