Sciweavers

4270 search results - page 37 / 854
» A Permutation Approach to Validation
Sort
View
COMCOM
2000
130views more  COMCOM 2000»
14 years 11 months ago
Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
Daniel Amyot, Luigi Logrippo
MICCAI
2005
Springer
16 years 20 days ago
Random Walks for Interactive Organ Segmentation in Two and Three Dimensions: Implementation and Validation
A new approach to interactive segmentation based on random walks was recently introduced that shows promise for allowing physicians more flexibility to segment arbitrary objects in...
Leo Grady, Thomas Schiwietz, Shmuel Aharon, Rü...
ICDCIT
2005
Springer
15 years 5 months ago
Validation of Policy Integration Using Alloy
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
Manachai Toahchoodee, Indrakshi Ray
EDBTW
2006
Springer
15 years 3 months ago
Validity-Sensitive Querying of XML Databases
We consider the problem of querying XML documents which are not valid with respect to given DTDs. We propose a framework for measuring the invalidity of XML documents and compactly...
Slawomir Staworko, Jan Chomicki
ICDIM
2007
IEEE
15 years 6 months ago
Control validation of D.E.S systems: Application to remote laboratories
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors ...
Pascale Marange, François Gellot, Bernard R...