2108 search results - page 296 / 422 » An Operational Semantics for Stateflow |
144
Voted
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
125
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
127
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
147
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
123
Voted
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...