6757 search results - page 395 / 1352 » Knowledge Analysis on Process Models |
181
click to vote
ASAP
2000
IEEE
15 years 11 months ago
2000
IEEE
High level modeling and (quantitative) performance analysis of signal processing systems requires high level models for the applications(algorithms) and the implementations (archi...
160
click to vote
ADVCS
2010
15 years 7 months ago
2010
Electronic submission to a conference is a process that is known to evolve nonlinearly in time, with a dramatic increase when approaching the deadline. A model has recently been pr...
177
click to vote
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
A current research topic in molecular thermodynamics is the condensation of vapor to liquid and the investigation of this process at the molecular level. Condensation is found in m...
167
click to vote
CAV
2005
Springer
16 years 10 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
173
Voted
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...