884 search results - page 174 / 177 » A semantics of sequence diagrams |
CCS
2003
ACM
15 years 2 months ago
2003
ACM
Many network intrusion detection systems (NIDS) use byte sequences as signatures to detect malicious activity. While being highly efficient, they tend to suffer from a high false...
INFOCOM
2000
IEEE
15 years 2 months ago
2000
IEEE
—Although IP Multicast is an effective network primitive for best-effort, large-scale, multi-point communication, many multicast applications such as shared whiteboards, multi-pl...
116
click to vote
MM
1998
ACM
15 years 1 months ago
1998
ACM
Easy-to-use audio/video authoring tools play a crucial role in moving multimedia software from research curiosity to mainstream applications. However, research in multimedia author...
IFIPTCS
2000
15 years 1 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
ECLIPSE
2005
ACM
14 years 11 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...