31686 search results - page 280 / 6338 » Resource typing in Guru |
106
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
131
Voted
ECIR
2007
Springer
15 years 2 months ago
2007
Springer
Retrieval accuracy can be improved by considering which document type should be filtered out and which should be ranked higher in the result list. Hence, document type can be used...
135
Voted
FMOODS
2007
15 years 2 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
101
Voted
FORTE
2007
15 years 2 months ago
2007
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
86
Voted
DAGSTUHL
1993
15 years 2 months ago
1993
In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...