7693 search results - page 401 / 1539 » Design and Implementation of the FRIENDS System |
240
click to vote
PADL
2004
Springer
16 years 29 days ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
183
click to vote
IPPS
2003
IEEE
16 years 27 days ago
2003
IEEE
In this paper, we provide an overview of Logistical Runtime System (LoRS). LoRS is an integrated ensemble of tools and services that aggregate primitive (best effort, faulty) stor...
272
click to vote
COMPSAC
2002
IEEE
16 years 17 days ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
203
click to vote
AC
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...
174
click to vote
CODES
2001
IEEE
15 years 11 months ago
2001
IEEE
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...