9425 search results - page 74 / 1885 » Some Notes on Models and Modelling |
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
We can use Business Process Modeling (BPM) tools for modeling the organizational structure, however, there are many imperfections in the existing BPM tools that hinder the process ...
WSC
2008
15 years 4 days ago
2008
This paper discusses a discrete event simulation model developed to identify and understand the impact of different failures on the overall production capabilities in a chemical p...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck–at fault model. Ple...