2595 search results - page 292 / 519 » Modes in Asynchronous Systems |
163
click to vote
APLAS
2006
ACM
16 years 18 days ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
142
Voted
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
The Pediatric Pain Mailing List (PPML) is an international Internet-based forum for informal discussion of any topic related to pain in children. There are now over seven hundred ...
167
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Virtual teams and their leaders are key players in global organisations. Using teams of workers dispersed temporally and geographically has changed the way people work in groups a...
179
click to vote
IPPS
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper, we propose, implement and analyze the performance of a Reconfigurable Sequential Consistency Algorithm (RSCA) using simulation. Extending the concepts of reconfigur...
158
click to vote
ADAEUROPE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...