1888 search results - page 89 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
125
click to vote
ADC
2004
Springer
15 years 7 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
148
click to vote
FORTE
2003
15 years 4 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
176
click to vote
ISARCS
2010
15 years 5 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
135
click to vote
NCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
110
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...