Sciweavers

1907 search results - page 272 / 382
» Visualizing Action Semantics
Sort
View
APLAS
2001
ACM
13 years 11 months ago
Estimating Exception-Induced Control Flow for Java
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
Byeong-Mo Chang, Jang-Wu Jo
FASE
2008
Springer
13 years 9 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
DAGSTUHL
2004
13 years 9 months ago
Application of Graph Transformation for Automating Web Service Discovery
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
Reiko Heckel, Alexey Cherchago
ACL
2009
13 years 5 months ago
ProLiV - a Tool for Teaching by Viewing Computational Linguistics
ProLiV - Animated Process-modeler of Complex (Computational) Linguistic Methods and Theories - is a fully modular, flexible, XML-based stand-alone Java application, used for compu...
Monica Gavrila, Cristina Vertan
COLING
2010
13 years 2 months ago
LTP: A Chinese Language Technology Platform
LTP (Language Technology Platform) is an integrated Chinese processing platform which includes a suite of high performance natural language processing (NLP) modules and relevant c...
Wanxiang Che, Zhenghua Li, Ting Liu