2486 search results - page 90 / 498 » A Type System for Computationally Secure Information Flow |
BIRTHDAY
2004
Springer
14 years 17 days ago
2004
Springer
The discussions about learning management systems and reusable learning objects primarily focus on technical standardization issues. Standards such as SCORM or LTSC-LOM will yield...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—The paper deals with efficient distribution of timely information to flows of mobile devices. We consider the case where a set of Information Dissemination Devices (IDDs) broa...
ICPR
2000
IEEE
14 years 12 days ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...
IHI
2010
13 years 3 months ago
2010
One of the concerns patients have when confronted with a medical condition is which physician to trust. Any recommendation system that seeks to answer this question must ensure an...