Sciweavers

349 search results - page 22 / 70
» Complexity Metrics for business Process Models
Sort
View
CE
2006
161views more  CE 2006»
14 years 11 months ago
Applying an authentic, dynamic learning environment in real world business
This paper describes a dynamic computer-based business learning environment and the results from applying it in a real-world business organization. We argue for using learning too...
Timo Lainema, Sami Nurmi
ICSEA
2008
IEEE
15 years 6 months ago
Model-Driven Development of Human Tasks for Workflows
In order to increase efficiency, enterprises support their business processes by information technology (IT). The majority of business processes requires human interaction. By mea...
Stefan Link, Philip Hoyer, Thomas Schuster, Sebast...
80
Voted
WSC
2008
15 years 2 months ago
Simulating order fulfillment and supply planning for a vertically aligned industry solution business
We model supply chain of an industry solution equipment manufacturer, where the merchandise is sold worldwide, but suppliers are mostly located in Asia. The preferred shipment of ...
Feng Cheng, Young M. Lee, Hongwei Ding, Wei Wang, ...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 6 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
ICASSP
2008
IEEE
15 years 6 months ago
A no-reference perceptual blockiness metric
A novel no-reference blockiness metric that can automatically and perceptually quantify blocking artifacts of DCT coding is presented. The proposed metric is built upon the specif...
Hantao Liu, Ingrid Heynderickx