4075 search results - page 725 / 815 » Modeling Distributed Algorithm Using B |
150
click to vote
MSN
2007
Springer
15 years 10 months ago
2007
Springer
Success of Wireless Sensor Networks largely depends whether the deployed network can provide desired coverage with acceptable network lifetime. This paper proposes a distributed pr...
137
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
139
click to vote
ADBIS
2000
Springer
15 years 8 months ago
2000
Springer
A number of algorithms of clustering spatial data for reducing the number of disk seeks required to process spatial queries have been developed. One of the algorithms is the scheme...
175
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Financial applications are one of many fields where a multivariate Gaussian random number generator plays a key role in performing computationally extensive simulations. ...
137
click to vote
AMW
2010
15 years 6 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...