12774 search results - page 292 / 2555 » A Framework for Proof Systems |
184
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
151
click to vote
HICSS
2003
IEEE
16 years 4 hour ago
2003
IEEE
Application generators have been championed because they can be used to shorten a system’s development cycle and therefore lower its development costs. Application generators ar...
183
click to vote
IIWAS
2007
15 years 8 months ago
2007
By using database security metrics to evaluate how risky the current database environment is and visually displaying the metric results on graphs, database security visualization ...
173
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
161
click to vote
WSTFEUS
2003
IEEE
15 years 12 months ago
2003
IEEE
System software for future computing environments becomes more complex and heterogeneous. Portability becomes one of the important properties of the future system software. Compon...