Sciweavers

77016 search results - page 95 / 15404
» Modeling Modeling
Sort
View
CAISE
2000
Springer
15 years 6 months ago
A Formal Model for Business Process Modeling and Design
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
Manolis Koubarakis, Dimitris Plexousakis
CAV
1999
Springer
85views Hardware» more  CAV 1999»
15 years 6 months ago
Optimizing Symbolic Model Checking for Constraint-Rich Models
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...