10392 search results - page 1782 / 2079 » Introduction to Computer Science |
158
click to vote
IWPC
2005
IEEE
16 years 6 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...
161
Voted
LICS
2005
IEEE
16 years 6 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 ļ¬rstorder (FO) and monadic ...
171
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
199
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a ļ¬nite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
153
click to vote
LICS
2005
IEEE
16 years 6 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...