11395 search results - page 1989 / 2279 » Beyond computer science |
172
click to vote
ISORC
2005
IEEE
16 years 9 days ago
2005
IEEE
Transcoding is an important technology which adapts the same multimedia object to diverse mobile appliances; thus, users’ requests for a specified version of a multimedia objec...
158
click to vote
IWPC
2005
IEEE
16 years 8 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...
162
Voted
LICS
2005
IEEE
16 years 8 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 ...
172
click to vote
LICS
2005
IEEE
16 years 8 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...
204
click to vote
LICS
2005
IEEE
16 years 8 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...