2520 search results - page 217 / 504 » Model-checking behavioral programs |
201
click to vote
AIPS
2009
15 years 7 months ago
2009
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs w...
129
click to vote
TOOLS
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract. Behavioral reflection is crucial to support for example functional upgrades, on-the-fly debugging, or monitoring critical applications. However the use of reflective f...
139
click to vote
ISCA
2006
IEEE
16 years 16 days ago
2006
IEEE
We present a novel framework for defining memory models in terms of two properties: thread-local Instruction Reordering axioms and Store Atomicity, which describes inter-thread c...
155
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
Creating realistic artificially-intelligent characters is seen as one of the major challenges of the commercial games industry. Historically, character behavior has been specifie...
144
click to vote
SIGMOD
1989
ACM
15 years 10 months ago
1989
ACM
Todays computer interfaces are one-size-fits-all. Users with little programming experience have very limited opportunities to customize an interface to their task and work habits...