2486 search results - page 88 / 498 » A Type System for Computationally Secure Information Flow |
HPDC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents the design, implementationand evaluation of Mingle, a secure distributed search system. Each participatinghost runs a Mingle server, which maintains an inverte...
BPM
2007
Springer
14 years 3 months ago
2007
Springer
The basic objective of collaborative supply chain planning (CSCP) is to fulfill the demand of the customers by integrating a network of organizations through mediums such as intern...
MMM
1996
Springer
14 years 29 days ago
1996
Springer
Multimedia information systems are based on the evolving capability of computers to handle diverse types of information. Their most important characteristic is the integration of ...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
FORTEST
2008
13 years 10 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...