1113 search results - page 194 / 223 » Counter Systems for Data Logics |
106
click to vote
TSMC
2010
14 years 6 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
103
click to vote
RAID
1999
Springer
15 years 4 months ago
1999
Springer
: I will discuss two efforts to get Intrusion Detection Systems to work together - the Common Intrusion Detection Framework (CIDF), and the IETF's working group to develop an ...
156
click to vote
HPCA
2011
IEEE
14 years 3 months ago
2011
IEEE
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have deď¬...
185
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
162
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...