1737 search results - page 244 / 348 » Hardware Support for Secure Processing in Embedded Systems |
106
click to vote
ISI
2007
Springer
15 years 10 months ago
2007
Springer
: We view the task of sensemaking in intelligence as that of abducing a story whose plot explains the current data and makes verifiable predictions about the future and the past. W...
143
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
Software development can be thought of as the evolution act requirements into a concrete software system. The evolution, achieved through a successive series of elaborations and r...
147
click to vote
MAGS
2008
15 years 4 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
142
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investi...
134
click to vote
ICS
2004
Tsinghua U.
15 years 9 months ago
2004
Tsinghua U.
Given the scale of massively parallel systems, occurrence of faults is no longer an exception but a regular event. Periodic checkpointing is becoming increasingly important in the...