Sciweavers

811 search results - page 69 / 163
» Supporting Flexible Business Processes with a Progression Mo...
Sort
View
WSC
2000
13 years 10 months ago
Venture launch: use of simulation to support strategic operational decisions
This paper describes how discrete-event simulation enhanced a traditional process design effort for a new media company in pre-launch mode. Because the company's business mod...
Gregory R. Clay
CE
2007
99views more  CE 2007»
13 years 8 months ago
Self-organising navigational support in lifelong learning: How predecessors can lead the way
Increased flexibility and modularisation in higher education complicates the process of learners finding their way through the offerings of higher education institutions. In lifel...
José Janssen, Colin Tattersall, Wim Waterin...
BPM
2006
Springer
105views Business» more  BPM 2006»
14 years 18 days ago
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...
Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur ...
ISCIS
2004
Springer
14 years 2 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
14 years 2 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff