1585 search results - page 18 / 317 » A framework for computer-aided validation |
IJCSA
2008
14 years 11 months ago
2008
Within the computer aided design (CAD) teaching framework, new information and communication technologies (ICT's) are being set through new tools and methodological changes: ...
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
84
Voted
MICCAI
2007
Springer
16 years 21 days ago
2007
Springer
We present an iterative bootstrapping framework to create and analyze statistical atlases of bony anatomy such as the human pelvis from a large collection of CT data sets. We creat...
BPM
2005
Springer
15 years 5 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...