2163 search results - page 357 / 433 » cases 2004 |
108
Voted
ALIFE
2004
15 years 14 days 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...
115
Voted
ANOR
2004
15 years 14 days 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 ...
101
click to vote
ASE
2004
15 years 13 days 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 ...
125
Voted
ASE
2004
15 years 13 days 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...
98
Voted
AUTOMATICA
2004
15 years 13 days ago
2004
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...