963 search results - page 122 / 193 » Formal Analysis of BPMN Models Using Event-B |
147
click to vote
ICTAI
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
TIT
2010
14 years 8 months ago
2010
A method of `network filtering' has been proposed recently to detect the effects of certain external perturbations on the interacting members in a network. However, with larg...
126
click to vote
DLOG
2003
15 years 2 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
126
click to vote
CIIA
2009
15 years 2 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...