Sciweavers

4636 search results - page 66 / 928
» Modelling and Validation with VipTool
Sort
View
IAT
2009
IEEE
14 years 2 months ago
Simulation of the Rungis Wholesale Market: Lessons on the Calibration, Validation and Usage of a Cognitive Agent-Based Simulatio
—We present some methodological lessons and thoughts inferred from a research we are making on a simulation of the Rungis Wholesale Market (in France) using cognitive agents. The...
Philippe Caillou, Corentin Curchod, Tiago Baptista
SUTC
2006
IEEE
14 years 1 months ago
The Computational Complexity of Enforceability Validation for Generic Access Control Rules
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo
IPMI
2005
Springer
14 years 1 months ago
Construction and Validation of Mean Shape Atlas Templates for Atlas-Based Brain Image Segmentation
In this paper, we evaluate different schemes for constructing a mean shape anatomical atlas for atlas-based segmentation of MR brain images. Each atlas is constructed and validate...
Qian Wang, Dieter Seghers, Emiliano D'Agostino, Fr...
ICCAD
1996
IEEE
144views Hardware» more  ICCAD 1996»
13 years 12 months ago
Validation coverage analysis for complex digital designs
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...
Richard C. Ho, Mark Horowitz
CAI
2006
Springer
13 years 7 months ago
Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
Pedro Antunes, João Ramires, Ana Resp&iacut...