18493 search results - page 266 / 3699 » Timers for Distributed Systems |
148
click to vote
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
135
Voted
ADC
2003
Springer
15 years 9 months ago
2003
Springer
An exciting trend in enterprise computing lies in the integration of applications across an organisation and even between organisations. This allows the provision of services by a...
134
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
131
Voted
ACSC
2002
IEEE
15 years 9 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
110
click to vote
ACSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
Mainly for scalability reasons, many cryptographic security protocols make use of public key cryptography and require the existence of a corresponding public key infrastructure (P...