2152 search results - page 2 / 431 » An Abstract Account of Composition |
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
The wide diffusion of reliable Internet is pushing two key novelties in the conception of modern software applications: the Software as a Service paradigm and the idea of the Inte...
ESWS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper we propose an algorithm for personalized learning based on a user’s query and a repository of lecture subparts —i.e., learning objects— both are descr...
SOCO
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Service discovery and service aggregation are two crucial issues in the emerging area of Service-oriented Computing (SoC). We propose a new technique for the discovery of...
DBISP2P
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. The vast majority of the interactions in typical online communities nowadays is between complete strangers. In such settings reputation reporting and trust management mod...
CAV
2009
Springer
14 years 5 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...