2223 search results - page 34 / 445 » Events in Property Patterns |
121
click to vote
VVEIS
2007
14 years 11 months ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
APN
2003
Springer
15 years 2 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
CVIU
2006
14 years 9 months ago
2006
In this paper, we present a new color image segmentation scheme based on unsupervised pixel classification that works even when there is not a one-to-one correspondence between th...
88
Voted
WWW
2007
ACM
15 years 10 months ago
2007
ACM
The aggregation and comparison of behavioral patterns on the WWW represent a tremendous opportunity for understanding past behaviors and predicting future behaviors. In this paper...
167
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...