14331 search results - page 63 / 2867 » On the modeling and analysis of obligations |
125
click to vote
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
This paper presents an approach for the improvement of the efficiency of the performance analysis of large workflow models. We propose a simple and powerful decidable Petri net red...
120
click to vote
ISORC
2008
IEEE
15 years 8 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
118
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
192
click to vote
PAMI
2012
13 years 4 months ago
2012
— Over the last century, Component Analysis (CA) methods such as Principal Component Analysis (PCA), Linear Discriminant Analysis (LDA), Canonical Correlation Analysis (CCA), Lap...
142
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...