Sciweavers

3425 search results - page 129 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
140
Voted
ENGL
2008
70views more  ENGL 2008»
15 years 3 months ago
Modeling, Control and Simulation of a Novel Mobile Robotic System
Abstract--We are developing an autonomous mobile robotic system to emulate six degree of freedom relative spacecraft motion during proximity operations. A mobile omni-directional b...
Xiaoli Bai, Jeremy J. Davis, James Doebbler, James...
113
Voted
ICIP
2004
IEEE
16 years 5 months ago
Performance assessment of a visual attention system entirely based on a human vision modeling
It is now commonly assumed that the human visual attention, which is a selecting process of the most relevant locations in a scene according to a particular behavior, is driven by...
Olivier Le Meur, Patrick Le Callet, Dominique Barb...
148
Voted
EDOC
2007
IEEE
15 years 10 months ago
Structuring Software Cities A Multidimensional Approach
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...
Andreas Hess, Bernhard Humm, Markus Voß, Gre...
ECMDAFA
2008
Springer
166views Hardware» more  ECMDAFA 2008»
15 years 5 months ago
Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
Manuel Bork, Leif Geiger, Christian Schneider, Alb...
162
Voted
SDL
2007
192views Hardware» more  SDL 2007»
15 years 5 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong