4631 search results - page 592 / 927 » Experiences with an Environment Generation System |
173
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes ...
180
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
175
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
An Origamic Architecture (OA) is a folded sheet of perforated paper from which a three-dimensional structure "pops up" when it is opened. It is similar to a "pop-up...
194
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
— This work is the first attempt to investigate the neural dynamics of a simulated robotic agent engaged in minimally cognitive tasks by employing evolved instances of the Kuram...
190
click to vote
IJAIT
2006
15 years 6 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...