974 search results - page 34 / 195 » Formal Modeling of Communication Traces |
JNSM
2007
13 years 7 months ago
2007
This paper traces the history of policy-based management and how it evolved from the first security models dating back to the late 1960’s until today’s more elaborate framewo...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
ICT
2004
Springer
14 years 23 days ago
2004
Springer
We present a novel protocol, M3L, for multicast tree fault isolation based purely upon end-to-end information. Here, a fault is a link with a loss rate exceeding a specified thres...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
MEMOCODE
2003
IEEE
14 years 20 days ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...