Sciweavers

17471 search results - page 332 / 3495
» Information Modeling
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 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...
130
Voted
CBMS
2007
IEEE
16 years 1 months ago
Embedding the Evidence Information in Guideline Representation Languages
Clinical practice guidelines are widely used to support medical staff in treatment planning and decision-making, whereas, the classification of different recommendations in the C...
Alime Öztürk, Katharina Kaiser, Patrick ...
199
Voted
VISUAL
2007
Springer
16 years 26 days ago
News Video Retrieval by Learning Multimodal Semantic Information
With the explosion of multimedia data especially that of video data, requirement of efficient video retrieval has becoming more and more important. Years of TREC Video Retrieval Ev...
Hui Yu, Bolan Su, Hong Lu, Xiangyang Xue
ICECCS
2005
IEEE
87views Hardware» more  ICECCS 2005»
16 years 10 days ago
Scavenging Complex Genomic Information Using Mobile Code: An Evaluation
Mobile code solutions can improve the performances of applications over the Internet by reducing the amount of data that must be transferred across the network. The research on ge...
Mauro Pezzè, Davide Tosi, Gian Pietro Picco
POLICY
2005
Springer
16 years 7 days ago
A RBAC-Based Policy Information Base
This paper presents a framework for representing and distributing access control policies in distributed heterogeneous systems. Access control polices follows the RBAC (Role Based...
Timothy E. Squair, Edgard Jamhour, Ricardo Nabhen