704 search results - page 67 / 141 » Building Distributed Access Control System Using Service-Ori... |
83
Voted
ENTCS
2007
15 years 15 days ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
108
Voted
VRST
2006
ACM
15 years 6 months ago
2006
ACM
Designing and building Virtual Environments is not an easy task, especially when it comes to specifying object behavior where either knowledge about animation techniques or progra...
117
Voted
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
116
Voted
AC
1999
Springer
15 years 4 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
98
Voted
MMAS
2010
Springer
14 years 7 months ago
2010
Springer
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...