13306 search results - page 2334 / 2662 » Theoretical Computer Science |
185
click to vote
IWPC
2005
IEEE
16 years 26 days ago
2005
IEEE
The paper presents a usability study conducted with graduate and undergraduate computer science students, designed to evaluate the effectiveness of a software visualization tool n...
182
click to vote
LICS
2005
IEEE
16 years 26 days ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
233
click to vote
LICS
2005
IEEE
16 years 26 days 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...
185
click to vote
LICS
2005
IEEE
16 years 26 days 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...
201
click to vote
LICS
2005
IEEE
16 years 26 days 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...