4325 search results - page 466 / 865 » Incremental computation with names |
186
Voted
SIGIR
2003
ACM
16 years 3 days ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed. ...
177
Voted
AC
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
191
click to vote
CONCUR
2003
Springer
16 years 2 days ago
2003
Springer
A linear forwarder is a process which receives one message on a channel and sends it on a different channel. Such a process allows for a simple implementation of the asynchronous...
173
click to vote
GPCE
2003
Springer
16 years 2 days ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
156
click to vote
ICCS
2003
Springer
16 years 2 days ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...