1253 search results - page 175 / 251 » order 2000 |
106
click to vote
SIGOPSE
2000
ACM
15 years 5 months ago
2000
ACM
As researchers look beyond the PC there is increasing interest in developing and deploying sophisticated home networks. Such networks might allow the seamless integration of infor...
SIGOPSE
2000
ACM
15 years 5 months ago
2000
ACM
The algorithm for stabilising multiple stores, which we present in this paper, was developed in the process of designing the global stability and resilience mechanism for Grasshopp...
103
Voted
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
98
Voted
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
93
Voted
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...