Sciweavers

77016 search results - page 105 / 15404
» Modeling
Sort
View
83
Voted
IBPRIA
2003
Springer
15 years 7 months ago
Modeling High-Order Dependencies in Local Appearance Models
David Guillamet, Baback Moghaddam, Jordi Vitri&agr...
CAV
2001
Springer
74views Hardware» more  CAV 2001»
15 years 7 months ago
Model Checking with Formula-Dependent Abstract Models
Alexander Asteroth, Christel Baier, Ulrich Aß...
CGI
2000
IEEE
15 years 7 months ago
Modeling Murex cabritii Sea Shell with a Structured Implicit Surface Modeler
Callum Galbraith, Przemyslaw Prusinkiewicz, Brian ...
117
Voted
CAISE
2000
Springer
15 years 7 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
« Prev « First page 105 / 15404 Last » Next »