2153 search results - page 118 / 431 » From Requirements Models to Formal Specifications in B |
GI
2005
Springer
14 years 2 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
In this paper, we propose a face reconstruction technique that produces models that not only look good when texture mapped, but are also metrically accurate. Our method is designe...
DSVIS
1994
Springer
14 years 25 days ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...