Sciweavers

21490 search results - page 128 / 4298
» Business Process Modeling
Sort
View
SECRYPT
2010
132views Business» more  SECRYPT 2010»
13 years 6 months ago
Efficient Algorithmic Safety Analysis of HRU Security Models
Anja Fischer, Winfried E. Kühnhauser
CAISE
2006
Springer
14 years 21 days ago
Experiences with Modeling and Verification of Regulations
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
Jan Vanthienen, Christophe Mues, Stijn Goedertier
EUROMICRO
2006
IEEE
14 years 3 months ago
OWPL: A Gradual Approach for Software Process Improvement In SMEs
This paper describes an experience with a Software Process Improvement (SPI) approach particularly adapted to small structures with low software maturity level (e.g. small and med...
Simon Alexandre, Alain Renault, Naji Habra
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
14 years 1 months ago
Using Event Semantics for Modeling Contracts
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
Yao-Hua Tan, Walter Thoen
BPM
2009
Springer
168views Business» more  BPM 2009»
14 years 3 months ago
Divide-and-Conquer Strategies for Process Mining
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
Josep Carmona, Jordi Cortadella, Michael Kishinevs...