Sciweavers

498 search results - page 70 / 100
» On the Category of Petri Net Computations
Sort
View
TCS
2002
15 years 11 days ago
Asymptotic behavior in a heap model with two pieces
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...
Jean Mairesse, Laurent Vuillon
171
Voted
DKE
2011
260views Education» more  DKE 2011»
14 years 4 months ago
Analysis on demand: Instantaneous soundness checking of industrial business process models
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...
Dirk Fahland, Cédric Favre, Jana Koehler, N...
VRML
2000
ACM
15 years 5 months ago
3D behavioral model design for simulation and software engineering
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...
Paul A. Fishwick
126
Voted
INFSOF
2007
139views more  INFSOF 2007»
15 years 19 days ago
Predicting software defects in varying development lifecycles using Bayesian nets
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 ...
Norman E. Fenton, Martin Neil, William Marsh, Pete...
77
Voted
ITICSE
2006
ACM
15 years 6 months ago
A web-based service for the automatic detection of roles of variables
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 ...
Petri Gerdt, Jorma Sajaniemi