Sciweavers

6527 search results - page 87 / 1306
» On Typing Information Flow
Sort
View
MASCOTS
2001
13 years 9 months ago
On Class-Based Isolation of UDP, Short-Lived and Long-Lived TCP Flows
The congestion control mechanisms of TCP make it vulnerable in an environment where flows with different congestionsensitivity compete for scarce resources. With the increasing am...
Selma Yilmaz, Ibrahim Matta
PLDI
2009
ACM
14 years 2 months ago
Catch me if you can: permissive yet secure error handling
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
Aslan Askarov, Andrei Sabelfeld
WAIM
2007
Springer
14 years 1 months ago
Towards a Type-2 Fuzzy Description Logic for Semantic Search Engine
Ruixuan Li, Xiaolin Sun, Zhengding Lu, Kunmei Wen,...
CLEF
2010
Springer
13 years 8 months ago
Phrases or Terms? The Impact of Different Query Types
Daniela Becks, Thomas Mandl, Christa Womser-Hacker