610 search results - page 44 / 122 » Synchronous Programming of Reactive Systems |
SCESM
2006
ACM
14 years 2 months ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
CRIWG
2006
13 years 10 months ago
2006
This paper presents a system called CodeBreaker for supporting small and medium size software development based on an extreme programming principle. The system follows a decentrali...
IJCAI
2007
13 years 10 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
ICTAC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...