34 search results - page 3 / 7 » Observational Equivalence for the Interaction Combinators an... |
ECAI
2004
Springer
13 years 12 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
FORTE
2008
13 years 8 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
CDC
2008
IEEE
13 years 8 months ago
2008
IEEE
Output-based feedback control of discrete-time hybrid systems is an important problem, as in practice it is rarely the case that the full state variable is available for feedback. ...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
DGO
2004
13 years 8 months ago
2004
E-Gov projects have an increasing influence on how government business processes evolve and change. While early e-Gov projects focused on government-to-public information and inte...