Sciweavers

3514 search results - page 672 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
ESE
2006
199views Database» more  ESE 2006»
13 years 8 months ago
Experiences from introducing UML-based development in a large safety-critical project
UML and UML-based development methods have become de facto standards in industry, and there are many claims for the positive effects of modelling object-oriented systems using meth...
Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kri...
COMGEO
2007
ACM
13 years 8 months ago
A package for exact kinetic data structures and sweepline algorithms
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...
Daniel Russel, Menelaos I. Karavelas, Leonidas J. ...
EWC
2007
102views more  EWC 2007»
13 years 8 months ago
Interactive collision detection in three-dimensional visualizations of simulated construction operations
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable con...
Vineet R. Kamat, Julio C. Martínez
TOG
2008
235views more  TOG 2008»
13 years 8 months ago
Articulated mesh animation from multi-view silhouettes
Details in mesh animations are difficult to generate but they have great impact on visual quality. In this work, we demonstrate a practical software system for capturing such deta...
Daniel Vlasic, Ilya Baran, Wojciech Matusik, Jovan...
STTT
1998
130views more  STTT 1998»
13 years 8 months ago
The Practitioner's Guide to Coloured Petri Nets
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
Lars Michael Kristensen, Søren Christensen,...