3828 search results - page 281 / 766 » Proof-Based System Engineering Using a Virtual System Model |
172
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
174
Voted
TOG
2008
15 years 6 months ago
2008
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...
153
click to vote
VAMOS
2007
Springer
16 years 21 days ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
200
click to vote
NPAR
2009
ACM
16 years 1 months ago
2009
ACM
A computerized airbrush system with a full three dimensional airbrush interface is presented. The position and orientation of an electronic airbrush tool is tracked in space, and,...
201
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...