2746 search results - page 157 / 550 » Case Study in Survivable Network System Analysis |
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
APSCC
2008
IEEE
15 years 4 months ago
2008
IEEE
Socio-technical developments in computing have resulted in the emergence of innovative mobile systems which exploit the information available on the Internet to optimize the perfo...
117
click to vote
ETRA
2006
ACM
15 years 4 months ago
2006
ACM
Human eyes have limited perception capabilities. Only 2 degrees of our 180 degree vision field provide the highest quality of perception. Due to this fact the idea of perceptual a...
104
click to vote
FAABS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...