Sciweavers

321 search results - page 29 / 65
» concurrency 2004
Sort
View
ICALP
2004
Springer
14 years 2 months ago
Group Spreading: A Protocol for Provably Secure Distributed Name Service
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
Baruch Awerbuch, Christian Scheideler
AVI
2004
13 years 10 months ago
Image presentation in space and time: errors, preferences and eye-gaze activity
Rapid Serial Visual Presentation (RSVP) is a technique that allows images to be presented sequentially in the time-domain, thereby offering an alternative to the conventional conc...
Robert Spence, Mark Witkowski, Catherine Fawcett, ...
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
14 years 2 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
ICLP
2004
Springer
14 years 2 months ago
Protein Folding Simulation in CCP
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
Alessandro Dal Palù, Agostino Dovier, Feder...
RE
2004
Springer
14 years 2 months ago
Goal-Oriented Requirements Animation
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
Hung Tran Van, Axel van Lamsweerde, Philippe Masso...