Sciweavers

2152 search results - page 114 / 431
» An Abstract Account of Composition
Sort
View
ICWS
2004
IEEE
15 years 7 months ago
Realizability of Conversation Protocols With Message Contents
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
Xiang Fu, Tevfik Bultan, Jianwen Su
ASE
2005
145views more  ASE 2005»
15 years 6 months ago
Developing Ambient Intelligence Systems: A Solution based on Web Services
Enabling the ambient intelligence vision means that consumers will be provided with universal and immediate access to available content and services, together with ways of effectiv...
Valérie Issarny, Daniele Sacchetti, Ferda T...
JUCS
2007
75views more  JUCS 2007»
15 years 6 months ago
RE-AspectLua - Achieving Reuse in AspectLua
: AspectLua is a Lua-based dynamic aspect-oriented language that follows the original AspectJ concepts. It suffers from the same problem of AspectJ-like languages with regard to li...
Thaís Vasconcelos Batista, Maurício ...
CSUR
2000
136views more  CSUR 2000»
15 years 6 months ago
Pattern density and role modeling of an object transport service
Many object-oriented frameworks exhibit a high density of design pattern applications. Usually, there are more instances in a framework than there are abstract classes. Yet, only ...
Dirk Riehle, Roger Brudermann, Thomas R. Gross, Ka...
ICFP
2005
ACM
16 years 6 months ago
Recursive type generativity
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
Derek Dreyer