Sciweavers

1179 search results - page 67 / 236
» Programming in Hybrid Constraint Languages
Sort
View
ICALP
2010
Springer
15 years 6 months ago
Pumping and Counting on the Regular Post Embedding Problem
Abstract. The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular con...
Pierre Chambart, Philippe Schnoebelen
DFG
2004
Springer
15 years 6 months ago
Executable HybridUML and Its Application to Train Control Systems
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
Kirsten Berkenkötter, Stefan Bisanz, Ulrich H...
CL
2000
Springer
15 years 5 months ago
Dominance Constraints with Set Operators
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...
Denys Duchier, Joachim Niehren
INAP
2001
Springer
15 years 5 months ago
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
Salvador Abreu
VLC
2008
88views more  VLC 2008»
15 years 1 months ago
Towards a specification of the ToonTalk language
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
Leonel Morgado, Ken Kahn