Sciweavers

649 search results - page 88 / 130
» An Improved Construction of Progression-Free Sets
Sort
View
97
Voted
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 6 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
121
Voted
ICCS
2005
Springer
15 years 6 months ago
PATM: Priority-Based Adaptive Topology Management for Efficient Routing in Ad Hoc Networks
Abstract. We propose a distributed and adaptive topology management algorithm, called PATM (Priority-based Adaptive Topology Management), that constructs and maintains a connected ...
Haixia Tan, Weilin Zeng, Lichun Bao
96
Voted
ARGMAS
2004
Springer
15 years 5 months ago
Bargaining and Argument-Based Negotiation:
Abstract. Argumentation-based techniques are being increasingly used to construct frameworks for flexible negotiation among computational agents. Despite the advancements made to ...
Iyad Rahwan, Liz Sonenberg, Peter McBurney
ESORICS
2004
Springer
15 years 5 months ago
Breaking Cauchy Model-Based JPEG Steganography with First Order Statistics
Abstract. The recent approach of a model-based framework for steganography fruitfully contributes to the discussion on the security of steganography. In addition, the first propos...
Rainer Böhme, Andreas Westfeld
GECCO
2004
Springer
140views Optimization» more  GECCO 2004»
15 years 5 months ago
A Sensitivity Analysis of a Cooperative Coevolutionary Algorithm Biased for Optimization
Abstract. Recent theoretical work helped explain certain optimizationrelated pathologies in cooperative coevolutionary algorithms (CCEAs). Such explanations have led to adopting sp...
Liviu Panait, R. Paul Wiegand, Sean Luke