Sciweavers

8446 search results - page 1023 / 1690
» A Process Compensation Language
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
15 years 7 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
ENTCS
2006
137views more  ENTCS 2006»
15 years 7 months ago
Compiling Esterel into Static Discrete-Event Code
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
Stephen A. Edwards, Vimal Kapadia, Michael Halasz
JFP
2006
80views more  JFP 2006»
15 years 7 months ago
Static analysis for path correctness of XML queries
A part of a query that will never contribute data to the query answer should be regarded as an error. This principle has been recently accepted into mainstream XML query languages...
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo...
JNCA
2007
143views more  JNCA 2007»
15 years 7 months ago
Detecting feature interactions in CPL
An approach for detecting feature interactions in IETF’s Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic repre...
Yiqun Xu, Luigi Logrippo, Jacques Sincennes
ANSOFT
2002
162views more  ANSOFT 2002»
15 years 7 months ago
Foundations of Fast Communication via XML
Communication with XML often involves pre-agreed document types. In this paper, we propose an offline parser generation approach to enhance online processing performance for docum...
Welf Löwe, Markus L. Noga, Thilo S. Gaul
« Prev « First page 1023 / 1690 Last » Next »