Search Sciweavers | Sciweavers

13913 search results - page 222 / 2783

» models 2007

184

click to vote

DAGSTUHL
2006

156views Software Engineering» more DAGSTUHL 2006»

AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects

15 years 8 months ago

Download drops.dagstuhl.de

Abstract. AMFIBIA is a meta-model that formalizes the essential aspects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspe...

Ekkart Kindler, Björn Axenath, Vladimir Rubin

claim paper

Read More »

149

click to vote

DAGSTUHL
2004

115views Software Engineering» more DAGSTUHL 2004»

Making Specifications Complete Through Models

15 years 8 months ago

Download se.inf.ethz.ch

Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...

Bernd Schoeller, Tobias Widmer, Bertrand Meyer

claim paper

Read More »

192

click to vote

BMCBI
2007

114views more BMCBI 2007»

Gene models from ESTs (GeneModelEST): an application on the Solanum lycopersicum genome

15 years 7 months ago

Download www.biomedcentral.com

Background: The structure annotation of a genome is based either on ab initio methodologies or on similaritiy searches versus molecules that have been already annotated. Ab initio...

Nunzio D'Agostino, Alessandra Traini, Luigi Frusci...

claim paper

Read More »

115

click to vote

ICCV
2007
IEEE

134views Computer Vision» more ICCV 2007»

Bilinear Active Appearance Models

16 years 9 months ago