851 search results - page 10 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
CLIMA
2006
13 years 9 months ago
2006
Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
ECBS
1999
IEEE
13 years 12 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
ACSD
1998
IEEE
13 years 12 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...