Sciweavers

1336 search results - page 22 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
LBM
2007
15 years 4 months ago
Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
Bo Hu, Srinandan Dasmahapatra, David Robertson, Pa...
ISPW
2006
IEEE
15 years 9 months ago
Definition and Analysis of Election Processes
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lor...
EDOC
2007
IEEE
15 years 9 months ago
DECLARE: Full Support for Loosely-Structured Processes
—Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured processes. Furthermore, flexibility in contemporary WFMSs usually comes ...
Maja Pesic, Helen Schonenberg, Wil M. P. van der A...
AEI
2007
119views more  AEI 2007»
15 years 3 months ago
Exploring the CSCW spectrum using process mining
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
Wil M. P. van der Aalst
ISSS
2002
IEEE
138views Hardware» more  ISSS 2002»
15 years 8 months ago
An Object-Oriented Design Process for System-on-Chip Using UML
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
Tsuneo Nakata, Akio Matsuda, Minoru Shoji, Shinya ...