3724 search results - page 198 / 745 » Timed regular expressions |
120
click to vote
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
Large industrial legacy systems are challenges of reverseengineering activities. Reverse-engineering approaches use text-search tools based on regular expressions or work on prese...
145
click to vote
PLILP
1997
Springer
15 years 8 months ago
1997
Springer
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
154
click to vote
ENTCS
2006
15 years 4 months ago
2006
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...
141
click to vote
IJWGS
2006
15 years 4 months ago
2006
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
118
click to vote
DOCENG
2009
ACM
15 years 11 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...