3828 search results - page 83 / 766 » Proof-Based System Engineering Using a Virtual System Model |
107
click to vote
ECIS
2001
15 years 3 months ago
2001
The goal of this research was to develop a model of architecture for a virtual one-stop public administration. The first part of our work was to collect data during a six-month su...
115
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
117
Voted
PCM
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we propose a system generating free-viewpoint video using multiple cameras and a PC-cluster in real-time. Our system firstly reconstructs a shape model of objects b...
134
Voted
RE
2008
Springer
15 years 2 months ago
2008
Springer
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
124
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...