8663 search results - page 1530 / 1733 » 10 papers on network models |
285
click to vote
SPIRE
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we study query processing in a distributed text database. The novelty is a real distributed architecture implementation that offers concurrent query service. The di...
157
click to vote
MOBICOM
2000
ACM
15 years 11 months ago
2000
ACM
In satellite and wireless networks and in advanced traffic information systems in which the up-link bandwidth is very limited, a server broadcasts data files in a round-robin man...
180
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
Advances in computing and networking technology, and an explosion in information sources has resulted in a growing number of distributed systems getting constructed out of resourc...
190
click to vote
PPDP
1999
Springer
15 years 10 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
196
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...