Search Sciweavers | Sciweavers

28445 search results - page 533 / 5689

» Anatomically based modeling

124

click to vote

BPM
2003
Springer

123views Business» more BPM 2003»

A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling

15 years 7 months ago

Download www.cse.unsw.edu.au

A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...

Piotr Chrzastowski-Wachtel, Boualem Benatallah, Ra...

claim paper

Read More »

121

click to vote

CAISE
2003
Springer

76views Information Technology» more CAISE 2003»

A Logic-Based Formalism to Model and Analyze Workflow Executions

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Gianluigi Greco, Antonella Guzzo, Domenico Sacc&ag...

claim paper

Read More »

106

click to vote

COMPSAC
2001
IEEE

112views Software Engineering» more COMPSAC 2001»

An Architectural Model for Service-Based Flexible Software

15 years 7 months ago

Download www.dur.ac.uk

Keith H. Bennett, Jie Xu, Malcolm Munro, Zhuang Ho...

claim paper

Read More »

111

click to vote

ER
2000
Springer

77views Database» more ER 2000»

A Viewpoint-Based Framework for Discussing the Use of Multiple Modelling Representations

15 years 7 months ago

Download www.business.otago.ac.nz

Nigel Stanger

claim paper

Read More »

119

click to vote

STACS
2000
Springer

75views Theoretical Computer Science» more STACS 2000»

Succinct Representations of Model Based Belief Revision

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers