3420 search results - page 561 / 684 » A Language-Based Approach to Security |
NIPS
2004
13 years 11 months ago
2004
We propose a new set of criteria for learning algorithms in multi-agent systems, one that is more stringent and (we argue) better justified than previous proposed criteria. Our cr...
LISA
2003
13 years 11 months ago
2003
This paper attempts to address the complexity of system administration by making the labor of applying software updates independent of the number of computers on which the softwar...
CCR
2010
13 years 10 months ago
2010
In recent years, academic literature has analyzed many attacks on network trace anonymization techniques. These attacks usually correlate external information with anonymized data...
ENTCS
2008
13 years 10 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
FGCS
2008
13 years 10 months ago
2008
The purpose of ubiquitous computing is anywhere and anytime access to information within computing infrastructures that is blended into a background and no longer be reminded. Thi...