Sciweavers

208 search results - page 7 / 42
» Personal Schedules for Workflow Systems
Sort
View
IJCIS
2006
161views more  IJCIS 2006»
13 years 8 months ago
Poseidon: a Framework to Assist Web Process Design Based on Business Cases
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
Jorge Cardoso
FMICS
2007
Springer
14 years 3 months ago
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. va...
BPM
2007
Springer
152views Business» more  BPM 2007»
14 years 24 days ago
Adaptive Workflows for Healthcare Information Systems
Current challenges in Healthcare Information Systems (HIS) include supplying patients with personalized medical information, creating means for efficient information flow between d...
Kees M. van Hee, Helen Schonenberg, Alexander Sere...
WSC
2000
13 years 10 months ago
Electronic workflow for transaction-based work cells in a financial services firm
In determining an electronic workflow system, a financial services firm utilized simulation to determine the necessary capital expenditure. Analysis included batching options, Ser...
David M. Ferrin, Martin J. Miller, Gustavo Giron
IUI
2010
ACM
14 years 5 months ago
Agent-assisted task management that reduces email overload
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...
Aaron Steinfeld, Andrew Faulring, Asim Smailagic, ...