Sciweavers

4636 search results - page 171 / 928
» Modelling and Validation with VipTool
Sort
View
HYBRID
2007
Springer
14 years 2 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
METRICS
2005
IEEE
14 years 1 months ago
Assessing the Impact of Coupling on the Understandability and Modifiability of OCL Expressions within UML/OCL Combined Models
Diagram-based UML notation is limited in its expressiveness thus producing a model that would be severely underspecified. The flaws in the limitation of the UML diagrams are solve...
Luis Reynoso, Marcela Genero, Mario Piattini, M. E...
HICSS
2003
IEEE
112views Biometrics» more  HICSS 2003»
14 years 1 months ago
Applying the Task-Technology Fit Model to WWW-based Procurement: Conceptualization and Measurement
This research examines the application of the tasktechnology fit (TTF) model to World Wide Web (WWW) usage for electronic commerce (EC) purposes. Conducted from corporate buyersâ€...
Younes Benslimane, Michel Plaisent, Prosper Bernar...
MICCAI
2005
Springer
14 years 8 months ago
2D and 3D Shape Based Segmentation Using Deformable Models
A novel shape based segmentation approach is proposed by modifying the external energy component of a deformable model. The proposed external energy component depends not only on t...
Ayman El-Baz, Seniha Esen Yuksel, Hongjian Shi, Al...
ACSC
2009
IEEE
14 years 2 months ago
Using Chronological Splitting to Compare Cross- and Single-company Effort Models: Further Investigation
Numerous studies have used historical datasets to build and validate models for estimating software development effort. Very few used a chronological split (where projects’ end ...
Chris Lokan, Emilia Mendes