799 search results - page 36 / 160 » Generating Reliable Code from Hybrid-Systems Models |
BMCBI
2008
13 years 11 months ago
2008
Background: Modern proteomes evolved by modification of pre-existing ones. It is extremely important to comparative biology that related proteins be identified as members of the s...
FLAIRS
2007
14 years 1 months ago
2007
The desire to predict power generation at a given point in time is essential to power scheduling, energy trading, and availability modeling. The research conducted within is conce...
WOSP
2005
ACM
14 years 4 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
ECEASST
2008
13 years 10 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
ICIP
2000
IEEE
15 years 16 days ago
2000
IEEE
The paper presents a novel coding technique based on approximate geometry for images taken from arbitrary recording positions around a 3-D scene. Such data structures occur in ima...