Login / Signup
Transparent Insertion of Custom Logic in HTTP(S) Streams Using PbProxy.
Michael Atighetchi
Brett Benyo
Abhimanyu Gosain
Robert MacIntyre
Partha P. Pal
Virginia Travers
John A. Zinky
Published in:
IEEE Internet Comput. (2011)
Keyphrases
</>
website
open source
domain specific
classical logic
modal logic
proof theory
genetic algorithm
data streams
real time
computational properties
natural deduction
information systems
predicate logic
expressive power
transactional data
multi valued
streaming data
search engine
databases