1268 search results - page 65 / 254 » Verifying distributed systems: the operational approach |
201
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
168
click to vote
COMSWARE
2006
IEEE
15 years 9 months ago
2006
IEEE
The performance of the protocol stack implementation of an operating system can greatly impact the performance of networked applications that run on it. In this paper, we present a...
189
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
149
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
—The Service-Oriented Architecture (SOA) leverages ice abstraction to enable the development of modular, loose-coupled and distributed applications. In order to use such an archi...
143
Voted
CAMP
2005
IEEE
15 years 11 months ago
2005
IEEE
— This contribution approaches the problem of scratch restoration in old movies as a optimisation’s problem. The functional based on the statistical properties of the image aro...