Sciweavers

3765 search results - page 260 / 753
» Qualitative Action Systems
Sort
View
EHCI
2004
15 years 8 months ago
Formalising an Understanding of User-System Misfits
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
Ann Blandford, Thomas R. G. Green, Iain Connell
ALIFE
1998
15 years 7 months ago
Self-Adaptation in Evolving Systems
A theoretical and experimental analysis is made of the effects of self-adaptation in a simple evolving system. Specifically, we consider the effects of coding the mutation and ...
Christopher R. Stephens, I. Garcia Olmedo, J. Mora...
ICALP
2009
Springer
16 years 7 months ago
Rate-Based Transition Systems for Stochastic Process Calculi
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
Rocco De Nicola, Diego Latella, Michele Loreti, Mi...
NDSS
2009
IEEE
16 years 2 months ago
CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
Michael Backes, Peter Druschel, Andreas Haeberlen,...
ICPADS
2008
IEEE
16 years 1 months ago
Bootstrapping in Peer-to-Peer Systems
Peer-to-Peer systems have become a substantial element in computer networking. Distributing the load and splitting complex tasks are only some reasons why many developers have com...
Mirko Knoll, Arno Wacker, Gregor Schiele, Torben W...