Sciweavers

3458 search results - page 305 / 692
» Abstracting Control
Sort
View
SSS
2005
Springer
15 years 10 months ago
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection
Abstract. This paper considers message-driven self-stabilizing implementations of unreliable failure detectors. We show that it is impossible to give a deterministic implementation...
Martin Hutle, Josef Widder
UM
2005
Springer
15 years 10 months ago
The Impact of Link Suggestions on User Navigation and User Perception
Abstract. The study reported in this paper explores the effects of providing web users with link suggestions that are relevant to their tasks. Results indicate that link suggestion...
Ion Juvina, Eelco Herder
CAISE
2004
Springer
15 years 9 months ago
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
Xiaocheng Ge, Fiona Polack, Régine Laleau
ESOP
2004
Springer
15 years 9 months ago
Answer Type Polymorphism in Call-by-Name Continuation Passing
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
Hayo Thielecke
EVOW
2004
Springer
15 years 9 months ago
Swarm Granulator
Abstract. This paper describes a Swarm Granulator, a new application of particle swarms to sound synthesis. Granulation, an established technique in sound synthesis, depends on man...
Tim Blackwell, Michael Young