Sciweavers

2154 search results - page 164 / 431
» On the notion of concept I
Sort
View
IFIP
2007
Springer
16 years 1 months ago
A Framework for QoS Contract Negotiation in Component-Based Applications
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
Mesfin Mulugeta, Alexander Schill
OTM
2007
Springer
16 years 1 months ago
P2P Routing-by-Content on a Lightweight Community Basis
Abstract. The effective localization of the right resources is a challenging issue at the current stage of development of P2P systems in presence of a high number of peers providi...
Silvana Castano, Alfio Ferrara, Stefano Montanelli
TARK
2007
Springer
16 years 1 months ago
Preservation of epistemic properties in security protocol implementations
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
Ron van der Meyden, Thomas Wilke
ATAL
2005
Springer
16 years 22 days ago
Coordination and composition in multi-agent systems
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...
Mehdi Dastani, Farhad Arbab, Frank S. de Boer
ATAL
2005
Springer
16 years 22 days ago
Just in time mobile agent generation and management
This paper presents a new and innovative approach called mission-based just in time agent generation. The approach allows agents to be constructed on the fly, at run-time and just...
Glenn T. Jayaputera, Seng Wai Loke, Arkady B. Zasl...