892 search results - page 162 / 179 » Strategies in sentential reasoning |
182
click to vote
IPPS
2009
IEEE
16 years 19 days ago
2009
IEEE
String searching is at the core of many security and network applications like search engines, intrusion detection systems, virus scanners and spam filters. The growing size of o...
135
click to vote
ATAL
2009
Springer
16 years 18 days ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...
178
click to vote
LICS
2008
IEEE
16 years 12 days ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
157
click to vote
CAISE
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. One of the most significant paradigm shifts of software business management is that individual organizations no longer compete as single entities but as complex dynamic ...
144
click to vote
IMA
2007
Springer
16 years 4 days ago
2007
Springer
Non-linear cryptanalysis is a natural extension to Matsui’s linear cryptanalitic techniques in which linear approximations are replaced by nonlinear expressions. Non-linear appro...