2421 search results - page 54 / 485 » Integrity Assurance Technique Using Determinant Approach |
EMSOFT
2007
Springer
14 years 5 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
UML
2001
Springer
14 years 3 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
SI3D
1992
ACM
14 years 3 months ago
1992
ACM
In this paper, we present techniques for integratingconstraint and direct manipulation approaches to geometric modeling. Direct manipulation positioning techniques are augmented t...
JMM2
2008
13 years 11 months ago
2008
Commercial systems such as Flickr display interesting photos from their collection as an interaction mechanism for sampling the collection. It purely relies on social activity anal...
COMPGEOM
2004
ACM
14 years 4 months ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...