6599 search results - page 29 / 1320 » Towards a Theory of Information |
114
click to vote
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
122
click to vote
SODA
2000
ACM
15 years 3 months ago
2000
ACM
We present a model that enables us to analyze the running time of an algorithm on a computer with a memory hierarchy with limited associativity, in terms of various cache parameter...
122
click to vote
NORDSEC
2009
Springer
15 years 8 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
124
Voted
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
The evolution and existence of stable trust relations have been studied extensively in the context of social theory. However, reputation systems or trust schemes have only been re...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...