610 search results - page 83 / 122 » Synchronous Programming of Reactive Systems |
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Software evolves to fix bugs and add features. Stopping and restarting programs to apply changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this ...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
There has been a growing interest in designing multi-agent based interactive dramas. A key research challenge faced in the design of these systems is to support open-ended user in...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
AOSE
2001
Springer
14 years 5 days ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...