2050 search results - page 94 / 410 » A formal foundation for process modeling |
208
click to vote
ANSOFT
2002
15 years 6 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
197
click to vote
ECWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
282
click to vote
ICDE
2001
IEEE
16 years 7 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
159
click to vote
CIDR
2007
15 years 7 months ago
2007
Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have...
170
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...