8555 search results - page 224 / 1711 » Property Based Coordination |
176
click to vote
CONCUR
2005
Springer
16 years 23 days ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
191
click to vote
VMCAI
2004
Springer
16 years 17 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
217
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
185
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we propose a 3D geometry compression technique for densely sampled surface meshes. Based on a 3D multiresolution analysis (performed by a 3D Discrete Wavelet Transf...
193
click to vote
CCGRID
2003
IEEE
16 years 16 days ago
2003
IEEE
Application-layer networks (ALN) are software architectures that allow the provisioning of services requiring a huge amount of resources by connecting large numbers of individual ...