Sciweavers

2288 search results - page 77 / 458
» Learning Business Process Models: A Case Study
Sort
View
CE
2008
160views more  CE 2008»
14 years 12 months ago
Data mining in course management systems: Moodle case study and tutorial
Educational data mining is an emerging discipline, concerned with developing methods for exploring the unique types of data that come from the educational context. This work is a ...
Cristóbal Romero, Sebastián Ventura,...
CAV
1998
Springer
103views Hardware» more  CAV 1998»
15 years 4 months ago
You Assume, We Guarantee: Methodology and Case Studies
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...
GI
2009
Springer
14 years 9 months ago
A BPMN Case Study: Paper Review and Submission System
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
Markus Kirchberg, Ove Sörensen, Bernhard Thal...
HICSS
2006
IEEE
108views Biometrics» more  HICSS 2006»
15 years 5 months ago
Dynamic Business Model Framework for Value Webs
This paper develops a new framework for explaining the dynamic aspects of business models in value webs. As companies move from research to roll-out and maturity three forces caus...
Harry Bouwman, Ian MacInnes
ICWS
2008
IEEE
15 years 1 months ago
A Framework for Verifying SLA Compliance in Composed Services
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
Hua Xiao, Brian Chan, Ying Zou, Jay W. Benayon, Bi...