1123 search results - page 96 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
148
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
141
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
132
click to vote
MOBILWARE
2009
ACM
15 years 10 months ago
2009
ACM
Abstract. In this paper, we present Chapar, an event system designed for mobile ad hoc networks that supports the publish-subscribe model as well as pointto-point and point-to-mult...
113
click to vote
ICPADS
2008
IEEE
15 years 10 months ago
2008
IEEE
Peer-to-Peer systems have become a substantial element in computer networking. Distributing the load and splitting complex tasks are only some reasons why many developers have com...
110
click to vote
IPTPS
2005
Springer
15 years 9 months ago
2005
Springer
— The problem of digital preservation is widely acknowledged, but the underlying assumptions implicit to the design of systems that address this problem have not been analyzed ex...