77016 search results - page 297 / 15404 » Modeling |
125
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
124
click to vote
ESEC
1999
Springer
15 years 9 months ago
1999
Springer
A probabilistic model for software development projects is constructed. The model can be applied to compute an estimate for the development time of a project. The chances of succee...
170
click to vote
MOVEP
2000
15 years 8 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
136
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
This work presents an auto-completion mechanism for supporting the creation of executable business process models. Currently, process modeling tools provide only little support to ...
157
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Building on earlier empirical work we have designed a prototype that supports modeling in groups. The COllaborative Modeling Architecture tool (COMA tool) coordinates UML modeling ...