68 search results - page 6 / 14 » Abstraction and Modelling: A Complementary Partnership |
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
RE
1997
Springer
14 years 1 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
ICCS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. A four-year undergraduate curriculum leading to a Bachelor’s degree in Computational Physics is described. The courses, texts, and seminars are research- and Web-rich, ...
ECCV
1998
Springer
14 years 11 months ago
1998
Springer
Abstract. We show that we can e ectively t arbitrarily complex animation models to noisy image data. Our approach is based on leastsquares adjustment using of a set of progressivel...
EFDBS
2003
2003
Building platforms for information system interoperability - using a UML-based metamodeling approach
13 years 11 months ago
Abstract. Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. M...