64 search results - page 7 / 13 » On the Properties of System-Wide Responsive Behavior |
SIGOPSE
2004
ACM
15 years 5 months ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
WINE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
UMUAI
2008
14 years 11 months ago
2008
Some students, when working in interactive learning environments, attempt to "game the system", attempting to succeed in the environment by exploiting properties of the s...
105
click to vote
HOST
2009
IEEE
15 years 3 months ago
2009
IEEE
A PUF or Physical Unclonable Function is a function that is embodied in a physical structure that consists of many random uncontrollable components which originate from process var...
110
click to vote
SEKE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...