1888 search results - page 217 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
138
click to vote
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
With the advancement of wireless network and mobile computing, there is an increasing need to build a mobile le system that can perform e ciently and correctly for accessing onlin...
139
click to vote
CLUSTER
2004
IEEE
15 years 4 months ago
2004
IEEE
Grid computing systems are emerging as a computing infrastructure that will enable the use of wide-area network computing systems for a variety of challenging applications. One of ...
206
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
126
click to vote
GC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
127
click to vote
GROUP
2003
ACM
15 years 9 months ago
2003
ACM
We describe a new collaborative technology that is mid-way between the informality of email and the formality of shared workspaces. Email and other ad hoc collaboration systems ar...