Sciweavers

6650 search results - page 243 / 1330
» models 2009
Sort
View
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
16 years 1 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
ICRA
2009
IEEE
141views Robotics» more  ICRA 2009»
16 years 1 months ago
Development of insect thorax based flapping mechanism
—Design of a flapping mechanism for flapping wing micro air vehicles (FWMAV) is presented based on a mathematical model of insect thorax. This model also includes an aerodynami...
Zaeem Khan, Kyle Steelman, Sunil Agrawal
EVOW
2009
Springer
15 years 4 months ago
Evolutionary Approaches for Strain Optimization Using Dynamic Models under a Metabolic Engineering Perspective
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
Pedro Evangelista, Isabel Rocha, Eugénio C....
MIG
2009
Springer
16 years 1 months ago
A Semantic Navigation Model for Video Games
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
Leonard van Driel, Rafael Bidarra
ICICS
2009
Springer
16 years 1 months ago
Assessing Security Risk to a Network Using a Statistical Model of Attacker Community Competence
We propose a novel approach for statistical risk modeling of network attacks that lets an operator perform risk analysis using a data model and an impact model on top of an attack ...
Tomas Olsson