Sciweavers

10055 search results - page 1235 / 2011
» Structured programming using processes
Sort
View
TOPNOC
2008
15 years 7 months ago
Model Driven Testing Based on Test History
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
Isaac Corro Ramos, Alessandro Di Bucchianico, Lusi...
BIOCOMP
2006
15 years 9 months ago
Membrane Remodeling and Diffusion of Cytochrome C from a Geometrically Idealized Mitochondrial Crista
In healthy eukaryotic cells, mitochondria have an outer membrane that surrounds a complex inner membrane structure [7,8]. Cytochrome c is found in the space between the two membra...
John Manor, Peter Salamon, James Nulton, Joseph Ma...
EOR
2006
72views more  EOR 2006»
15 years 7 months ago
Experimental tour-based travel demand models
CT In this paper some experimental sequential models for the simulation of trip-chains are presented; the models have been calibrated on the base of a survey made in a medium-sized...
Demetrio C. Festa, Daniela Condino, Gabriella Mazz...
BIBE
2007
IEEE
169views Bioinformatics» more  BIBE 2007»
16 years 2 months ago
Combining Semantics, Context, and Statistical Evidence in Genomics Literature Search
—We present an information retrieval model for combining evidence from concept-based semantics, term statistics, and context for improving search precision of genomics literature...
Jay Urbain, Nazli Goharian, Ophir Frieder
SEMWEB
2007
Springer
16 years 1 months ago
Analyzing Mapping Extraction Approaches
While lots of research in ontology matching is related to the issue of computing and refining similarity measures, only little attention has been paid to question how to extract t...
Christian Meilicke, Heiner Stuckenschmidt
« Prev « First page 1235 / 2011 Last » Next »