2004 search results - page 254 / 401 » Comparison of Model Checking Tools for Information Systems |
194
Voted
CIKM
2009
Springer
15 years 2 months ago
2009
Springer
Social bookmarking tools become more and more popular nowadays and tagging is used to organize information and allow users to recall or search the resources. Users need to type th...
165
click to vote
TMI
2011
14 years 11 months ago
2011
—In this paper, we propose a novel predictive model, active volume model (AVM), for object boundary extraction. It is a dynamic “object” model whose manifestation includes a ...
130
Voted
CBMS
2005
IEEE
15 years 10 months ago
2005
IEEE
The Gene Ontology (GO) is an important knowledge resource for biologists and bioinformaticians. This paper explores the integration of similarity information derived from GO into ...
154
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
130
click to vote
SACMAT
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...