15660 search results - page 320 / 3132 » The Unbalance of Set Systems |
214
Voted
ICAS
2006
IEEE
16 years 1 months ago
2006
IEEE
A modern server system must deliver a complex set of obligations towards its users. We study the concept of roles as autonomous encapsulations of a set of promises. Using virtuali...
186
Voted
CLEF
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes the participation of the University of Alicante in the new CL-SR Track at CLEF conference. In this track we introduce a set of features in the topics processi...
206
click to vote
DRUMS
1998
Springer
15 years 11 months ago
1998
Springer
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
183
Voted
JSYML
2002
15 years 7 months ago
2002
In this article we provide wellordering proofs for metapredicative systems of explicit mathematics and admissible set theory featuring suitable axioms about the Mahloness of the u...
182
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...