Sciweavers

4061 search results - page 165 / 813
» Framework Evolution Tool
Sort
View
CSAC
2006
15 years 5 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
ICST
2010
IEEE
15 years 1 months ago
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
Minh Duc Nguyen, Hélène Waeselynck, ...
LREC
2010
173views Education» more  LREC 2010»
15 years 5 months ago
LIMA : A Multilingual Framework for Linguistic Analysis and Linguistic Resources Development and Evaluation
The increasing amount of available textual information makes necessary the use of Natural Language Processing (NLP) tools. These tools have to be used on large collections of docu...
Romaric Besançon, Gaël de Chalendar, O...
COMPSAC
2007
IEEE
15 years 10 months ago
Model Oriented Evolutionary Redocumentation
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
Feng Chen, Hongji Yang
MICAI
2004
Springer
15 years 9 months ago
An Approach to Automatic Morphing of Face Images in Frontal View
Image metamorphosis, commonly known as morphing, is a powerful tool for visual effects that consists of the fluid transformation of one digital image into another. There are many t...
Vittorio Zanella, Olac Fuentes