498 search results - page 70 / 100 » On the Category of Petri Net Computations |
TCS
2002
13 years 8 months ago
2002
In a heap model, solid blocks, or pieces, pile up according to the Tetris game mechanism. An optimal schedule is an in nite sequence of pieces minimizing the asymptotic growth rat...
DKE
2011
12 years 12 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
VRML
2000
ACM
14 years 25 days ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
INFSOF
2007
13 years 8 months ago
2007
An important decision problem in many software projects is when to stop testing and release software for use. For many software products, time to market is critical and therefore ...
ITICSE
2006
ACM
14 years 2 months ago
2006
ACM
Learning elementary programming can be enhanced by introducing the notion of variable roles to students. This paper presents a web-based automatic role detection service that can ...