3828 search results - page 42 / 766 » Proof-Based System Engineering Using a Virtual System Model |
116
click to vote
ICAC
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
192
click to vote
ECBS
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Suc...
131
Voted
APSEC
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...
112
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
143
click to vote
ALIFE
2002
15 years 2 months ago
2002
A new approach called bioinspired engineering of exploration systems (BEES) and its value for solving pressing NASA and DoD needs are described. Insects (for example honeybees and ...