Sciweavers

852 search results - page 59 / 171
» entcs 2010
Sort
View
ENTCS
2010
410views more  ENTCS 2010»
14 years 8 months ago
TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator
ScalaBison is a parser generator accepting bison syntax and generating a parser in Scala. The generated parser uses the idea of "recursive ascent-descent parsing," that ...
John Boyland, Daniel Spiewak
ENTCS
2010
122views more  ENTCS 2010»
14 years 11 months ago
Composition of Services with Constraints
Abstract. Web services composition is the interleaving of action sequences executed by elementary components in accordance with a client specification. We consider Web services as ...
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyr...
ENTCS
2010
104views more  ENTCS 2010»
14 years 11 months ago
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov
ENTCS
2010
130views more  ENTCS 2010»
14 years 11 months ago
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
Ludovic Henrio, Muhammad Uzair Khan
ENTCS
2010
111views more  ENTCS 2010»
14 years 8 months ago
Modular Verification of Interactive Systems with an Application to Biology
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
Peter Drábik, Andrea Maggiolo-Schettini, Pa...