15155 search results - page 2505 / 3031 » System Software |
167
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
170
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
SMTābuilding ļ¬exible yet efļ¬cient abstraction/reļ¬nement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23ā37, February 2010. Wolfgang Hab...
177
click to vote
JOT
2010
15 years 5 months ago
2010
In component-based systems, fault-tolerance concerns are typically handled by manually programmed fault containers. The purpose of fault containers is to prevent error propagation...
186
click to vote
JSS
2010
15 years 5 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-speciļ¬c design vocabulary and a set of constrai...
192
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest conļ¬dential information. One of the main reasons for this rapid growth is the possibility for unpriv...