Sciweavers

4636 search results - page 70 / 928
» Modelling and Validation with VipTool
Sort
View
EMNETS
2007
13 years 11 months ago
SeeDTV: deployment-time validation for wireless sensor networks
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
H. Liu, Leo Selavo, John A. Stankovic
FUIN
2008
88views more  FUIN 2008»
13 years 7 months ago
Validating Behavioral Component Interfaces in Rewriting Logic
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
HICSS
2005
IEEE
159views Biometrics» more  HICSS 2005»
14 years 1 months ago
Knowledge Management Capability Assessment: Validating a Knowledge Assets Measurement Instrument
Measurement of organizational knowledge assets is necessary to determine the effectiveness of knowledge management initiatives. A Knowledge Management Capability Assessment instru...
Ron Freeze, Uday R. Kulkarni
DAC
2007
ACM
13 years 11 months ago
A Framework for the Validation of Processor Architecture Compliance
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jae...
AMR
2006
Springer
137views Multimedia» more  AMR 2006»
13 years 11 months ago
A General Principled Method for Image Similarity Validation
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...
Frédéric Cao, Patrick Bouthemy