3865 search results - page 475 / 773 » From Bidirectionality to Alternation |
154
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
195
click to vote
VISUAL
2005
Springer
16 years 6 days ago
2005
Springer
Chemical processing of celluloid based cinematic film, becomes unstable with time, unless they are stored at low temperatures. Some defects, such as bleaching on color movies, are ...
172
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
Multi-join queries are the core of any integration service that integrates data from multiple distributed data sources. Due to the large number of data sources and possibly high v...
140
click to vote
ASPDAC
2004
ACM
16 years 5 days ago
2004
ACM
— In deep-submicron (DSM) technology, minimizing power consumption of a bus is one of the most important design objectives in embedded system-on-chip (SoC) design. In this paper,...
158
click to vote
IUI
2004
ACM
16 years 5 days ago
2004
ACM
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...