Sciweavers

350 search results - page 39 / 70
» Predictability in Real-time System Development (2) A Case St...
Sort
View
AIED
2005
Springer
14 years 1 months ago
Teaching the evolution of behavior with SuperDuperWalker
SuperDuperWalker is a software-based framework for experiments on the evolution of locomotion. It simulates the behavior of evolving agents in a 3D physical simulation environment ...
Lee Spector, Jon Klein, Kyle Harrington, Raymond C...
CRYPTO
2004
Springer
86views Cryptology» more  CRYPTO 2004»
14 years 1 months ago
On Multiple Linear Approximations
In this paper we study the long standing problem of information extraction from multiple linear approximations. We develop a formal statistical framework for block cipher attacks b...
Alex Biryukov, Christophe De Cannière, Mich...
CORR
2004
Springer
104views Education» more  CORR 2004»
13 years 7 months ago
Near Rationality and Competitive Equilibria in Networked Systems
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
Nicolas Christin, Jens Grossklags, John Chuang
FORMATS
2007
Springer
13 years 11 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
CSREAEEE
2006
120views Business» more  CSREAEEE 2006»
13 years 9 months ago
Financial Transaction Reporting System in m-Commerce
- As mobile devices have been popular, many wireless applications for mobile devices have been developed. One of applications is to represent financial transaction report for a pro...
Jongwook Woo, Dong-Yon Kim, Wonhong Cho, MinSeok J...