4418 search results - page 349 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
160
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
165
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
204
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Cloud computing is a computing paradigm which allows access of computing elements and storages on-demand over the Internet. Virtual Appliances, pre-configured, readyto-run applicat...
182
click to vote
NSPW
2004
ACM
16 years 5 days ago
2004
ACM
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
188
click to vote
FPGA
2009
ACM
16 years 1 months ago
2009
ACM
Many natural processes exhibit exponential decay and, consequently, computational scientists make extensive use of e−x in computer simulation experiments. While it is common to ...