852 search results - page 59 / 171 » entcs 2010 |
144
click to vote
ENTCS
2010
14 years 8 months ago
2010
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 ...
ENTCS
2010
14 years 11 months ago
2010
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 ...
ENTCS
2010
14 years 11 months ago
2010
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 ...
ENTCS
2010
14 years 11 months ago
2010
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...
ENTCS
2010
14 years 8 months ago
2010
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....