1679 search results - page 225 / 336 » Security Properties and CSP |
146
click to vote
SAFECOMP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
139
click to vote
SIGOPSE
2004
ACM
15 years 11 months ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
145
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Abstract-- An important intrinsic property of any structured Peer-to-Peer (P2P) overlay is multi-hop paths. Understanding their structure helps to solve challenging problems relate...
182
click to vote
JAPLL
2010
15 years 4 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
179
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we present Netalyzr, a network measurement and debugging service that evaluates the functionality provided by people's Internet connectivity. The design aims to...