721 search results - page 127 / 145 » A Living System Must Have Noncomputable Models |
DSD
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
109
click to vote
ACSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Most intrusion detection systems apply the misuse detection approach. Misuse detection compares recorded audit data with predefined patterns denoted as signatures. A signature is ...
96
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
This position paper explores the issues related to the feasibility of having a primarily digital research library support the teaching and research needs of a university. The Asia...
77
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...