3828 search results - page 244 / 766 » Proof-Based System Engineering Using a Virtual System Model |
201
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
180
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
168
click to vote
RCIS
2010
15 years 4 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
178
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
Linear perspective projection has served as the dominant imaging model in computer vision. Recent developments in image sensing make the perspective model highly restrictive. This...
181
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...