11561 search results - page 341 / 2313 » Open Distributed Processing |
177
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
Requirements engineering (RE) is a necessary part of the software development process, as it helps customers and designers identify necessary system requirements. If these stakeho...
198
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
174
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...
226
Voted
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Recent technological advances have opened up several distributed real-time applications involving battery-driven embedded devices with local processing and wireless communication ...
283
Voted
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we present Spade - the System S declarative stream processing engine. System S is a large-scale, distributed data stream processing middleware under development at ...