Sciweavers

5326 search results - page 240 / 1066
» On what we can ensure
Sort
View
POPL
1993
ACM
15 years 10 months ago
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
Shinn-Der Lee, Daniel P. Friedman
ATAL
2003
Springer
15 years 10 months ago
An exploration of bugs and debugging in multi-agent systems
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
David Poutakidis, Lin Padgham, Michael Winikoff
ASIACRYPT
2000
Springer
15 years 10 months ago
The Security of Chaffing and Winnowing
This paper takes a closer look at Rivest's chaffing-and-winnowing paradigm for data privacy. We begin with a definition which enables one to clearly determine whether a given ...
Mihir Bellare, Alexandra Boldyreva
NSDI
2008
15 years 9 months ago
Overcoming Challenges of Maturity
In 2008, the systems and networks research communities find themselves victims of their own successes. This white paper reviews some of the evidence that the two areas are under e...
Ken Birman
IQ
2007
15 years 8 months ago
A Model For Information Quality Change
: To manage information quality (IQ) effectively, one needs to know how IQ changes over time, what causes it to change, and whether the changes can be predicted. In this paper we a...
Besiki Stvilia