974 search results - page 54 / 195 » Formal Modeling of Communication Traces |
TACAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
122
click to vote
APAQS
2001
IEEE
15 years 3 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
ACSD
2003
IEEE
15 years 4 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
DSOM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Nowadays, network load is constantly increasing and high-speed infrastructures (1-10Gbps) are becoming increasingly common. In this context, flow-based intrusion detecti...
88
Voted
SIGCOMM
2004
ACM
15 years 4 months ago
2004
ACM
In this paper, we develop simple models to study the performance of BitTorrent, a second generation peer-to-peer (P2P) application. We first present a simple fluid model and stu...