Sciweavers

4636 search results - page 66 / 928
» Modelling and Validation with VipTool
Sort
View
IAT
2009
IEEE
15 years 4 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
15 years 3 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
15 years 3 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»
15 years 1 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
14 years 9 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...