18924 search results - page 327 / 3785 » Conformance of Distributed Systems |
190
click to vote
ICCS
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...
159
click to vote
DEXAW
2006
IEEE
16 years 22 days ago
2006
IEEE
The Common Request Broker Architecture (CORBA) specification originally did not include any support for fault-tolerance. The Fault-Tolerant CORBA standard was added to address th...
153
click to vote
ISCIS
2004
Springer
16 years 1 days 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...
195
click to vote
LPAR
2004
Springer
16 years 19 hour 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...