1915 search results - page 168 / 383 » Design and construction of organic computing systems |
JSC
2006
15 years 29 days ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
111
click to vote
STORAGESS
2005
ACM
15 years 6 months ago
2005
ACM
The growing number of storage security breaches as well as the need to adhere to government regulations is driving the need for greater storage protection. However, there is the l...
111
Voted
CHIMIT
2007
ACM
15 years 5 months ago
2007
ACM
End users are often cast as the weak link in computer security; they fall victim to social engineering and tend to know very little about security technology and policies. This pa...
124
click to vote
ISCA
2011
IEEE
14 years 4 months ago
2011
IEEE
With technology scaling, manufacture-time and in-field permanent faults are becoming a fundamental problem. Multi-core architectures with spares can tolerate them by detecting an...
166
click to vote
ISLPED
2010
ACM
15 years 1 months ago
2010
ACM
Electrical energy is a high quality form of energy that can be easily converted to other forms of energy with high efficiency and, even more importantly, it can be used to control...