Sciweavers

272 search results - page 33 / 55
» Exploring the acceptability envelope
Sort
View
ISCC
2005
IEEE
105views Communications» more  ISCC 2005»
15 years 3 months ago
The Bandwidth Exchange Architecture
New applications for the Internet such as video on demand, grid computing etc. depend on the availability of high bandwidth connections with acceptable Quality of Service (QoS). T...
David Michael Turner, Vassilis Prevelakis, Angelos...
NDSS
2005
IEEE
15 years 3 months ago
Pretty Secure BGP, psBGP
The Border Gateway Protocol (BGP) is an IETF standard inter-domain routing protocol on the Internet. However, it is well known that BGP is vulnerable to a variety of attacks, and ...
Tao Wan, Evangelos Kranakis, Paul C. van Oorschot
FMCO
2005
Springer
143views Formal Methods» more  FMCO 2005»
15 years 3 months ago
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
Dennis Dams, Kedar S. Namjoshi
GECCO
2005
Springer
156views Optimization» more  GECCO 2005»
15 years 3 months ago
Enhancing differential evolution performance with local search for high dimensional function optimization
In this paper, we proposed Fittest Individual Refinement (FIR), a crossover based local search method for Differential Evolution (DE). The FIR scheme accelerates DE by enhancing...
Nasimul Noman, Hitoshi Iba
E4MAS
2004
Springer
15 years 3 months ago
Environments for Multiagent Systems State-of-the-Art and Research Challenges
It is generally accepted that the environment is an essential compound of multiagent systems (MASs). Yet the environment is typically assigned limited responsibilities, or even neg...
Danny Weyns, H. Van Dyke Parunak, Fabien Michel, T...