Sciweavers

574 search results - page 76 / 115
» Unanticipated integration of development tools using the cla...
Sort
View
BPM
2009
Springer
146views Business» more  BPM 2009»
14 years 2 months ago
Instantaneous Soundness Checking of Industrial Business Process Models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...
Dirk Fahland, Cédric Favre, Barbara Jobstma...
DKE
2011
260views Education» more  DKE 2011»
12 years 11 months ago
Analysis on demand: Instantaneous soundness checking of industrial business process models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
Dirk Fahland, Cédric Favre, Jana Koehler, N...
CVPR
2006
IEEE
14 years 10 months ago
Inferring Facial Action Units with Causal Relations
A system that could automatically analyze the facial actions in real time have applications in a number of different fields. However, developing such a system is always a challeng...
Yan Tong, Wenhui Liao, Qiang Ji
ICSE
2007
IEEE-ACM
14 years 8 months ago
Ownership and Immutability Inference for UML-Based Object Access Control
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
Yin Liu, Ana Milanova
JUCS
2000
102views more  JUCS 2000»
13 years 7 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...