3828 search results - page 60 / 766 » Proof-Based System Engineering Using a Virtual System Model |
112
click to vote
TOOLS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. When Genetic Algorithms (GAs) are employed in multimodal function optimization, engineering and machine learning, identifying multiple peaks and maintaining subpopulation...
152
Voted
VISUAL
1999
Springer
15 years 6 months ago
1999
Springer
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
112
click to vote
EDOC
2007
IEEE
15 years 8 months ago
2007
IEEE
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...
95
Voted
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...