Sciweavers

2679 search results - page 10 / 536
» Experimental Models for Validating Technology
Sort
View
HICSS
2003
IEEE
129views Biometrics» more  HICSS 2003»
15 years 2 months ago
Experimental Studies and Modeling of an Information Embedded Power System
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...
Stephen P. Carullo, Chika Nwankpa
IJMMS
2006
108views more  IJMMS 2006»
14 years 9 months ago
Computational modeling and experimental investigation of effects of compositional elements on interface and design aesthetics
This article describes computational modeling and two corresponding experimental investigations of the effects of symmetry, balance and quantity of construction elements on interf...
Michael Bauerly, Yili Liu
WSFM
2007
Springer
15 years 3 months ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
ESWS
2006
Springer
15 years 1 months ago
Modelling Ontology Evaluation and Validation
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
Aldo Gangemi, Carola Catenacci, Massimiliano Ciara...
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
14 years 9 months ago
Barrier certificates for nonlinear model validation
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
Stephen Prajna