1228 search results - page 117 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
197
click to vote
KES
2007
Springer
16 years 16 days ago
2007
Springer
The paper describes Breedbot an edutainment software and hardware system that could be used to evolve autonomous agents in digital (software) world and to transfer the evolved mind...
220
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
172
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
175
click to vote
TDSC
2010
15 years 4 months ago
2010
—Soft errors (or Transient faults) are temporary faults that arise in a circuit due to a variety of internal noise and external sources such as cosmic particle hits. Though soft ...
186
click to vote
DBSEC
2004
15 years 7 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...