Sciweavers

15421 search results - page 268 / 3085
» Dependability
Sort
View
189
Voted
ICALP
2007
Springer
16 years 1 months ago
A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC)
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
Bruce M. Kapron, Lior Malka, Srinivasan Venkatesh
164
Voted
ICESS
2007
Springer
16 years 1 months ago
Dependable Geographical Routing on Wireless Sensor Networks
Yue-Shan Chang, Ming-Tsung Hsu, Hsu-Hang Liu, Tong...
ICN
2007
Springer
16 years 1 months ago
Distance-Dependent RED Policy (DDRED)
— The network quality of service (QoS) and the congestion control of the transport protocol are important parameters for the performance of a network data transfer. To this end, ...
Sebastien Linck, Eugen Dedu, François Spies
144
Voted
ICSOC
2007
Springer
16 years 1 months ago
Maintaining Data Dependencies Across BPEL Process Fragments
Rania Khalaf, Oliver Kopp, Frank Leymann
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 1 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...