1123 search results - page 40 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
WICSA
2004
15 years 1 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
106
click to vote
IWANN
2009
Springer
15 years 6 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
102
click to vote
DALT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
PERCOM
2007
ACM
15 years 11 months ago
2007
ACM
Energy consumption of mobile readers is becoming an important issue as applications of RFID systems pervade different aspects of our lives. Surprisingly, however, these systems ar...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...