2152 search results - page 175 / 431 » On Automating the Calculus of Relations |
177
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
277
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
203
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we present a distributed algorithm to dynamically allocate the available resources of a service-oriented network to delay sensitive network services. We use a uti...
176
Voted
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Significant research has been dedicated to methods that estimate the available bandwidth in a network from traffic measurements. While estimation methods abound, less progres...
241
click to vote
AGILE
2007
Springer
2007
Springer
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
16 years 1 months ago
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...