Sciweavers

4839 search results - page 835 / 968
» A survey of computational complexity results in systems and ...
Sort
View
129
Voted
NSDI
2004
15 years 3 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
104
Voted
ATAL
2010
Springer
15 years 2 months ago
When should there be a "Me" in "Team"?: distributed multi-agent optimization under uncertainty
Increasing teamwork between agents typically increases the performance of a multi-agent system, at the cost of increased communication and higher computational complexity. This wo...
Matthew E. Taylor, Manish Jain, Yanquin Jin, Makot...
EUROPAR
2010
Springer
15 years 2 months ago
cTrust: Trust Aggregation in Cyclic Mobile Ad Hoc Networks
In a Cyclic Mobile Ad Hoc Network (CMANET) where nodes move cyclically, we formulate trust management problems and propose the cTrust scheme to handle trust establishment and aggre...
Huanyu Zhao, Xin Yang, Xiaolin Li
JSAC
2006
133views more  JSAC 2006»
15 years 1 months ago
Code-aided joint channel and frequency offset estimation for DS-CDMA
This paper deals with joint data detection, synchronization and channel parameter estimation for Direct-Sequence Code Division Multiple Access (DS-CDMA) systems over frequency sel...
Mamoun Guenach, Frederik Simoens, Henk Wymeersch, ...
JCSS
2007
68views more  JCSS 2007»
15 years 1 months ago
Portfolio and investment risk analysis on global grids
The financial services industry today produces and consumes huge amounts of data and the processes involved in analysing these data are equally huge especially in terms of their c...
Rafael Moreno-Vozmediano, Krishna Nadiminti, Sriku...