2448 search results - page 393 / 490 » The Octahedron Abstract Domain |
ESA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Zigzag pocket machining (or 2D-milling) plays an important role in the manufacturing industry. The objective is to minimize the number of tool retractions in the zigzag m...
FM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
ADBIS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Set-valued attributes are convenient to model complex objects occurring in the real world. Currently available database systems support the storage of set-valued attribut...
DSN
2000
IEEE
14 years 28 days ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
ICSR
2000
Springer
14 years 28 days ago
2000
Springer
Often product line engineering is treated similar to the waterfall model in traditional software engineering, i.e., the different phases (scoping, analysis, architecting, implemen...