325 search results - page 50 / 65 » Controlling Petri Net Process Models |
129
Voted
CIKM
1994
Springer
15 years 6 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
124
click to vote
BPM
2007
Springer
15 years 6 months ago
2007
Springer
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
110
click to vote
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
125
click to vote
DSD
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
BPM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...