Sciweavers

5312 search results - page 278 / 1063
» Business Process Management Systems
Sort
View
191
Voted
PPOPP
2003
ACM
15 years 12 months ago
Impala: a middleware system for managing autonomic, parallel sensor systems
Sensor networks are long-running computer systems with many sensing/compute nodes working to gather information about their environment, process and fuse that information, and in ...
Ting Liu, Margaret Martonosi
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
CSCWD
2005
Springer
15 years 8 months ago
Process mining in CSCW systems
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
GECCO
2005
Springer
384views Optimization» more  GECCO 2005»
16 years 5 days ago
A case study of process facility optimization using discrete event simulation and genetic algorithm
Optimization problems such as resource allocation, job-shop scheduling, equipment utilization and process scheduling occur in a broad range of processing industries. This paper pr...
Keshav P. Dahal, Stuart Galloway, Graeme M. Burt, ...
ICEBE
2006
IEEE
82views Business» more  ICEBE 2006»
16 years 21 days ago
A Service-oriented Information System for Collaborative Research and Doctoral Education
Currently supportive information systems for higher education and research are responding to specific information needs within institutes, departments and administration. These se...
Stefan Klink, Andreas Oberweis, Daniel Ried, Ralf ...