Sciweavers

801 search results - page 66 / 161
» Robust Nonproprietary Software
Sort
View
IAT
2006
IEEE
15 years 3 months ago
Designing Commitment-Based Agent Interactions
A key property of agents is that they are social, and hence the design of agent interactions is a crucial part of an agentoriented software engineering methodology. Agent interact...
Michael Winikoff
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
15 years 3 months ago
G2DGA: an adaptive framework for internet-based distributed genetic algorithms
The Internet is different from traditional parallel computing environments, and Distributed Genetic Algorithms (DGAs) for the Internet need to be designed to address these diffe...
Johan Berntsson
IH
2005
Springer
15 years 3 months ago
Dither Modulation Watermarking of Dynamic Memory Traces
We describe a dynamic software watermark embedded in the memory trace of an executing Java program. Our approach is a generalisation of the spread–transform watermarking techniqu...
Alan J. Larkin, Félix Balado, Neil J. Hurle...
CC
2004
Springer
122views System Software» more  CC 2004»
15 years 3 months ago
An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
Erin Parker, Siddhartha Chatterjee
ISSAC
2004
Springer
118views Mathematics» more  ISSAC 2004»
15 years 3 months ago
The approximate GCD of inexact polynomials
This paper presents an algorithm and its implementation for computing the approximate GCD (greatest common divisor) of multivariate polynomials whose coefficients may be inexact. ...
Zhonggang Zeng, Barry H. Dayton