102 search results - page 13 / 21 » Formal Method of Description Supporting Portfolio Assessment |
EUROMICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
FASE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
BMVC
2010
14 years 8 months ago
2010
Man-made environments are abundant with planar surfaces which have attractive properties and are a prerequisite for a variety of vision tasks. This paper presents an incremental m...
BMCBI
2007
14 years 10 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
MEMOCODE
2006
IEEE
15 years 4 months ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...