Sciweavers

1173 search results - page 115 / 235
» On the Compositionality of Round Abstraction
Sort
View
ICWS
2004
IEEE
15 years 2 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
137
Voted
ASE
2005
145views more  ASE 2005»
15 years 19 days 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 18 days 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 ...
93
Voted
CSUR
2000
136views more  CSUR 2000»
15 years 16 days 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...
132
Voted
EMSOFT
2009
Springer
15 years 7 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele