Sciweavers

2598 search results - page 156 / 520
» The Abstract Immune System Algorithm
Sort
View
CHES
2001
Springer
193views Cryptology» more  CHES 2001»
15 years 2 months ago
Preventing SPA/DPA in ECC Systems Using the Jacobi Form
Abstract. In this paper we show how using a representation of an elliptic curve as the intersection of two quadrics in P3 can provide a defence against Simple and Differental Powe...
Pierre-Yvan Liardet, Nigel P. Smart
SIGMETRICS
2006
ACM
15 years 4 months ago
Optimizing transmission rate in wireless channels using adaptive probes
Abstract— We consider a wireless system with multiple channels where each channel is either on or off, and probing the state of any channel incurs a cost. We present a polynomial...
Sudipto Guha, Kamesh Munagala, Saswati Sarkar
ICIRA
2009
Springer
98views Robotics» more  ICIRA 2009»
14 years 7 months ago
Robot Formations for Area Coverage
Abstract. Two algorithms for area coverage (for use in space applications) were evaluated using a simulator and then tested on a multi-robot society consisting of LEGO Mindstorms r...
Jürgen Leitner
TACAS
2005
Springer
113views Algorithms» more  TACAS 2005»
15 years 3 months ago
Applications of Craig Interpolants in Model Checking
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
Kenneth L. McMillan
SBBD
2008
183views Database» more  SBBD 2008»
14 years 11 months ago
Mining Software Repositories for Software Change Impact Analysis: A Case Study
Abstract Data mining algorithms have been recently applied to software repositories to help on the maintenance of evolving software systems. In the past, information about what cla...
Lile Hattori, Gilson Pereira dos Santos Jr., Ferna...