1348 search results - page 246 / 270 » A Temporal Programming Language for Heterogeneous Informatio... |
ICWE
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we would like to present and describe SIE, a transparent, intelligent Web proxy framework. Its aim is to provide efficient and robust platform for implementing vari...
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
ESORICS
2009
Springer
14 years 14 days ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
ICDT
2010
ACM
14 years 18 days ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
CBRMD
2008
13 years 8 months ago
2008
Intelligent analysis of heterogeneous data and information sources for efficient decision support presents an interesting yet challenging task in clinical environments. This is par...