11345 search results - page 2008 / 2269 » Foundations of Computer Science |
138
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
119
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
124
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
109
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
112
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...