746 search results - page 32 / 150 » Formal Analysis of UML-Based Designs |
331
click to vote
CASES
2011
ACM
14 years 5 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
151
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
177
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
126
click to vote
FUIN
2008
15 years 5 months ago
2008
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...
162
click to vote
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...