4609 search results - page 585 / 922 » Automatic Generation of Sigma-Protocols |
170
click to vote
ECOOPW
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...
165
click to vote
ER
2004
Springer
16 years 3 days ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
181
click to vote
ERCIMDL
2004
Springer
16 years 3 days ago
2004
Springer
We address the issue of providing topic driven access to full text documents. The methodology we propose is a combination of topic segmentation and information retrieval techniques...
256
Voted
FAABS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
174
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...