936 search results - page 66 / 188 » The Synthesis Problem of Netcharts |
112
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
134
click to vote
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
129
Voted
HYBRID
1999
Springer
15 years 8 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
113
Voted
WSPI
2004
15 years 5 months ago
2004
In the main research of internet-computing enabled knowledge management, we use some of the most advanced research scenarios, arguing that we critically need a system approach to q...
132
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
A digital combinational logic circuit is reversible if it maps each input pattern to a unique output pattern. Such circuits are of interest in quantum computing, optical computing...