14054 search results - page 2635 / 2811 » P |
149
Voted
WDAG
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with p...
157
click to vote
HICSS
1994
IEEE
15 years 9 months ago
1994
IEEE
Meeting research and especially research on Computer Supported Meetings of natural teams is not available in abundance. What is reported of meetings often uses a rather limited th...
162
click to vote
ICDE
1994
IEEE
15 years 9 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
141
click to vote
DBPL
1993
Springer
15 years 9 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
149
Voted
HOPL
1993
15 years 9 months ago
1993
Lisp is the world’s greatest programming language—or so its proponents think. The structure of Lisp makes it easy to extend the language or even to implement entirely new dial...