12084 search results - page 402 / 2417 » Effect Systems with Subtyping |
223
click to vote
NSDI
2008
15 years 10 months ago
2008
Recent operating systems [12, 21, 26] have shown that decentralized information flow control (DIFC) can secure applications built from mostly untrusted code. This paper extends DI...
272
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
230
click to vote
AICT
2005
IEEE
15 years 9 months ago
2005
IEEE
Automatic repeat request (ARQ) schemes are effective to recover non-real-time data corrupted by channel errors, but their use with real-time traffic is seldom considered because p...
206
click to vote
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a new pooling method for constructing the assessment sets used in the evaluation of retrieval systems. Our proposal is based on RankBoost, a machine learning v...
185
click to vote
CSCWD
2007
Springer
15 years 9 months ago
2007
Springer
The difficult business reality today makes enterprises more and more resort to information technology to manage nearly everything within the enterprises and to conduct business ac...