517 search results - page 20 / 104 » Specification transformers: a predicate transformer approach... |
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
ESWS
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We propose the use of 3D (2D+time) Shape Context to recognize the spatial and temporal details inherent in human actions. We represent an action in a video sequence by a 3D point ...
ICCSA
2007
Springer
14 years 2 months ago
2007
Springer
In our recent study, we have presented an approach for tracing illegal users in content distribution networks using watermarking and fingerprinting techniques [1][2]. In this paper...
ENTCS
2006
13 years 8 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...