3765 search results - page 104 / 753 » Formal Methods for Systems Engineering Behavior Models |
155
click to vote
AAAI
1993
15 years 7 months ago
1993
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
189
click to vote
ICSEA
2006
IEEE
16 years 12 days 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...
197
click to vote
ICFEM
2010
Springer
15 years 4 months 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...
146
click to vote
ICDT
1997
ACM
15 years 10 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...
154
click to vote
WOSP
2000
ACM
15 years 10 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 ...