Sciweavers

815 search results - page 66 / 163
» Algebraic Recognizability of Languages
Sort
View
BNCOD
2004
99views Database» more  BNCOD 2004»
15 years 7 months ago
The EGTV Query Language
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...
Damir Becarevic, Mark Roantree
169
Voted
COORDINATION
2004
Springer
15 years 11 months ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
Michael J. Butler, Carla Ferreira
152
Voted
DLT
2008
15 years 7 months ago
Hierarchies of Piecewise Testable Languages
The classes of languages which are boolean combinations of languages of the form A a1A a2A . . . A a A , where a1, . . . , a A, k , for a fixed k 0, form a natural hierarchy wit...
Ondrej Klíma, Libor Polák
ICALP
2009
Springer
16 years 6 months ago
Limits and Applications of Group Algebras for Parameterized Problems
The algebraic framework introduced in [Koutis, Proc. of the 35th ICALP 2008] reduces several combinatorial problems in parameterized complexity to the problem of detecting multili...
Ioannis Koutis, Ryan Williams
TAPSOFT
1997
Springer
15 years 10 months ago
Specifying Complex and Structured Systems with Evolving Algebras
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
Wolfgang May