Sciweavers

1177 search results - page 43 / 236
» A Theory of Role Composition
Sort
View
FM
1999
Springer
109views Formal Methods» more  FM 1999»
15 years 4 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back
JLP
2007
159views more  JLP 2007»
14 years 11 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
TSI
2008
129views more  TSI 2008»
14 years 11 months ago
COSMOS, composition de noeuds de contexte
Ubiquitous applications are facing a large diversity of execution contexts. However, this diversity requires some continual adaptation to preserve the correct execution of these ap...
Denis Conan, Romain Rouvoy, Lionel Seinturier
IAJIT
2010
96views more  IAJIT 2010»
14 years 10 months ago
A Data Mashup for Dynamic Composition of Adaptive Courses
: This paper presents a novel adaptive course composition system that based on mashing up learning content in a web application. The system includes three major components, static ...
Mohammed Al-Zoube, Baha Khasawneh
ICSOC
2009
Springer
14 years 9 months ago
On the Support of Dynamic Service Composition at Runtime
Abstract. Network-based software application services are receiving a lot of attention in recent years, as observed in developments as Internet of Services, Software as a Service a...
Eduardo Goncalves da Silva, Luís Ferreira P...