3828 search results - page 339 / 766 » Proof-Based System Engineering Using a Virtual System Model |
184
click to vote
IJCAI
1989
15 years 7 months ago
1989
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable adva...
165
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. This paper describes a preliminary work devoted to the design of a control architecture for a defective haptic interface, i.e. an underactuated haptic interface not able ...
146
click to vote
DIGRA
2005
Springer
16 years 6 days ago
2005
Springer
Challenge and conflict are elements that all game designers strive to engineer into their games. Research shows that challenge is what drives a high proportion of games players ye...
161
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
150
click to vote
EUROMICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...