10916 search results - page 1893 / 2184 » On Constructive Connectives and Systems |
189
click to vote
LCPC
2005
Springer
16 years 6 days ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
284
click to vote
LCTRTS
2005
Springer
16 years 6 days ago
2005
Springer
Short vector (SIMD) instructions are useful in signal processing, multimedia, and scientific applications. They offer higher performance, lower energy consumption, and better res...
174
click to vote
OTM
2005
Springer
16 years 5 days ago
2005
Springer
The strong dynamics of peer-to-peer networks, coupled with the diversity of peer vocabularies, makes query processing in peer database systems a very challenging task. In this pape...
159
click to vote
PPDP
2005
Springer
16 years 5 days ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
165
click to vote
RAID
2005
Springer
16 years 5 days ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...