2595 search results - page 292 / 519 » Modes in Asynchronous Systems |
190
click to vote
APLAS
2006
ACM
16 years 1 months 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 ...
156
click to vote
HICSS
2005
IEEE
16 years 24 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 ...
189
click to vote
HICSS
2005
IEEE
16 years 24 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...
189
click to vote
IPPS
2005
IEEE
16 years 23 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...
187
click to vote
ADAEUROPE
2005
Springer
16 years 22 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...