3765 search results - page 104 / 753 » Formal Methods for Systems Engineering Behavior Models |
104
Voted
AAAI
1993
15 years 3 months ago
1993
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
144
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
145
Voted
ICFEM
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
110
click to vote
ICDT
1997
ACM
15 years 6 months ago
1997
ACM
This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for...
109
click to vote
WOSP
2000
ACM
15 years 6 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...