Sciweavers

4486 search results - page 131 / 898
» Cross-Evaluation: A new model for information system evaluat...
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 3 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
SMC
2007
IEEE
113views Control Systems» more  SMC 2007»
14 years 3 months ago
Evaluation and implement of fuzzy vault scheme using indexed minutiae
— Juels et. al proposed a fuzzy vault scheme that extracts secret from inexact biometric information. However, typical feature extracted from fingerprint, called minutiae, is as...
Hiroaki Kikuchi, Yasunori Onuki, Kei Nagai
WEBI
2005
Springer
14 years 2 months ago
A User-Centered Approach for Evaluating Query Expansion Methods
Search engines are powerful tools to find information on the Web. However, they commonly return a lot of irrelevant documents when the users’ queries are not specific enough. To...
Jean-Yves Delort
CAISE
2009
Springer
14 years 3 months ago
Analysis and Validation of Control-Flow Complexity Measures with BPMN Process Models
Evaluating the complexity of business processes during the early stages of their development, primarily during the process modelling phase, provides organizations and stakeholder w...
Elvira Rolón Aguilar, Jorge Cardoso, F&eacu...
BMCBI
2008
130views more  BMCBI 2008»
13 years 9 months ago
Structural descriptor database: a new tool for sequence-based functional site prediction
Background: The Structural Descriptor Database (SDDB) is a web-based tool that predicts the function of proteins and functional site positions based on the structural properties o...
Juliana S. Bernardes, Jorge H. Fernandez, Ana Tere...