1929 search results - page 247 / 386 » A Problem Space Approach to Expert System Specification |
118
click to vote
WSC
2004
15 years 5 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
135
click to vote
OSDI
1996
ACM
15 years 5 months ago
1996
ACM
Today's extensible operating systems allow applications to modify kernel behavior by providing mechanisms for application code to run in the kernel address space. The advanta...
133
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
120
click to vote
FPGA
2003
ACM
15 years 9 months ago
2003
ACM
This paper proposes a new high-level technique for designing fault tolerant systems in SRAM-based FPGAs, without modifications in the FPGA architecture. Traditionally, TMR has bee...
129
click to vote
TWC
2008
15 years 3 months ago
2008
In this paper we introduce a novel linear precoding technique. The approach used for the design of the precoding matrix is general and the resulting algorithm can address several o...