2223 search results - page 28 / 445 » Events in Property Patterns |
FCT
1999
Springer
15 years 1 months ago
1999
Springer
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...
CSE
2009
IEEE
15 years 2 months ago
2009
IEEE
—Event schedulers, well-known from groupware and social software, typically share the problem that they disclose detailed availability patterns of their users. This paper disting...
COMPSAC
2007
IEEE
15 years 1 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
IEAAIE
2000
Springer
15 years 1 months ago
2000
Springer
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
CAISE
2009
Springer
15 years 4 months ago
2009
Springer
Enterprise systems implementations are often accompanied by changes in the business processes of the organizations in which they take place. However, not all the changes are desira...