2163 search results - page 357 / 433 » cases 2004 |
ALIFE
2004
14 years 9 months ago
2004
We study the emergence and dynamics of competing strains of digital organisms in a world with two depletable resources. Consumption of one resource produces the other resource as a...
ANOR
2004
14 years 9 months ago
2004
We consider the multilevel paradigm and its potential to aid the solution of combinatorial optimisation problems. The multilevel paradigm is a simple one, which at its most basic ...
ASE
2004
14 years 9 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
100
click to vote
ASE
2004
14 years 9 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
AUTOMATICA
2004
14 years 9 months ago
2004
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...