2486 search results - page 76 / 498 » A Type System for Computationally Secure Information Flow |
138
click to vote
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
126
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
Sharing life-log information in a social community has many advantages, both for the user and society. But sharing any type of personal information is a threat to privacy. In parti...
127
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
—Current micro-architecture blindly uses the address in the program counter to fetch and execute instructions without validating its legitimacy. Whenever this blind-folded instru...
157
click to vote
SRDS
2010
IEEE
15 years 2 months ago
2010
IEEE
Cloud computing allows the use of Internet-based services to support business processes and rental of IT-services on a utility-like basis. It offers a concentration of resources bu...
143
click to vote
IWC
2002
15 years 3 months ago
2002
We investigate the application of multi-agent systems to develop intelligent information interfaces for connected communities, a class of computer applications aimed at enhancing ...