Sciweavers

1471 search results - page 125 / 295
» Composing concurrency control
Sort
View
CSCW
1996
ACM
15 years 2 months ago
Designing Object-Oriented Synchronous Groupware with COAST
This paper introduces COAST, an object-oriented toolkit for the development of synchronous groupware, which enhances the usability and simplifies the development of such applicati...
Christian Schuckmann, Lutz Kirchner, Jan Schü...
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 1 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
POPL
2000
ACM
15 years 1 months ago
Verifying Secrets and Relative Secrecy
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
Dennis M. Volpano, Geoffrey Smith
PPDP
2000
Springer
15 years 1 months ago
A high performance Erlang system
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
Erik Johansson, Mikael Pettersson, Konstantinos F....
VC
2010
115views more  VC 2010»
14 years 8 months ago
Multi-rate coupling of physical simulations for haptic interaction with deformable objects
Abstract Real-time simulation of deformable objects involves many computational challenges to be solved, particularly in the context of haptic applications, where high update rates...
Guido Böttcher, Dennis Allerkamp, Franz-Erich...