18466 search results - page 261 / 3694 » On distributed systems and CSCL |
152
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Achieving higher levels of dependability is a goal in any software project, therefore strategies for software reliability improvement are very attractive. This work intro...
193
click to vote
LPAR
2004
Springer
15 years 12 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...
164
click to vote
ADC
2003
Springer
15 years 12 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...
167
click to vote
ICFEM
2003
Springer
15 years 11 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...
166
click to vote
ACSC
2002
IEEE
15 years 11 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...