12115 search results - page 31 / 2423 » Bisimulation of Dynamical Systems |
113
click to vote
JLP
2007
15 years 1 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
133
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
121
click to vote
IFM
2007
Springer
15 years 8 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
128
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
117
click to vote
BPM
2007
Springer
15 years 8 months ago
2007
Springer
The assignment of tasks to human performers is a critical component in people-centric business process management systems. Workflow management systems typically assign work items u...