3637 search results - page 566 / 728 » On Dynamic Bit-Probe Complexity |
164
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
174
click to vote
COORDINATION
2004
Springer
15 years 12 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
209
click to vote
ECWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Most e-commerce Web sites dynamically generate their contents through a three-tier server architecture composed of a Web server, an application server, and a database ser...
176
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
The emerging paradigm of web services promises to bring to distributed computing the same flexibility that the web has brought to the publication and search of information contain...
154
click to vote
ESAW
2004
Springer
15 years 12 months ago
2004
Springer
The agent metaphor has shown its usefulness for modelling as well as implementing complex and dynamic applications. Although a number of agent applications has been successfully re...