108 search results - page 7 / 22 » Composition, reuse and interaction analysis of stateful aspe... |
EUROSYS
2007
ACM
13 years 11 months ago
2007
ACM
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...
AMDO
2006
Springer
13 years 11 months ago
2006
Springer
An appraisal of human motions and particular motion phases is essential for a good interaction between a human and a humanoid robot. We present a new method for the analysis of hum...
TSMC
2010
13 years 2 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
MM
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
WSC
1998
13 years 9 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...