2167 search results - page 40 / 434 » Stochastic Process Algebras |
ICFEM
1998
Springer
14 years 1 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
CSFW
1999
IEEE
14 years 2 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
TSMC
2011
13 years 4 months ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
ENTCS
2008
13 years 9 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...