144 search results - page 12 / 29 » scopes 2004 |
VMCAI
2004
Springer
14 years 25 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
Software configuration problems are a major source of failures in computer systems. In this paper, we present a new framework for categorizing configuration problems. We apply thi...
APVIS
2004
13 years 9 months ago
2004
The topic of skeletal animation and its associated techniques have previously been applied in the area of animating computer-generated characters for motion pictures and computer ...
ESANN
2004
13 years 9 months ago
2004
This paper presents some interesting results obtained by the algorithm by Bauer, Der and Hermann (BDH) [1] for magnification control in Self-Organizing Maps. Magnification control ...
WSC
2004
13 years 8 months ago
2004
The following paper briefly presents the formulation and development of a case study supply chain simulation model as developed for an industrial company. The case study company i...