22 search results - page 4 / 5 » Structured Circuit Semantics for Reactive Plan Execution Sys... |
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
107
click to vote
ESWS
2007
Springer
15 years 5 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
112
click to vote
JAIR
2007
14 years 11 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
105
click to vote
AAAI
2011
13 years 11 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...
SIGSOFT
2007
ACM
16 years 13 days ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...