10301 search results - page 243 / 2061 » informs 2007 |
147
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe an interface that provides information from the Internet, called Goromi-Web. Usually, a search function is used to browse information on the Internet. H...
180
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
165
click to vote
ASSETS
2007
ACM
15 years 10 months ago
2007
ACM
The World Wide Web (Web) is a visually complex, multimedia system that can be inaccessible to people with visual impairments. SADIe addresses this problem by using Semantic Web te...
197
click to vote
SASO
2007
IEEE
16 years 28 days ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
196
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...