621 search results - page 44 / 125 » Applying Prolog to Develop Distributed Systems |
ELPUB
1998
ACM
13 years 12 months ago
1998
ACM
The content and structure of an electronically published document can be authored and processed in ways that allow for flexibility in presentation on different environments for di...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
WOSP
2000
ACM
14 years 2 days ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
IPPS
1999
IEEE
14 years 19 hour ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
BSDCON
2003
13 years 9 months ago
2003
With the present trend towards increased reliance upon computer systems, the provision and prompt application of security patches is becoming vital. Developers of all operating sy...