3468 search results - page 395 / 694 » An open logical framework |
163
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
156
click to vote
TNN
2010
14 years 11 months ago
2010
This paper provides a comprehensive framework for the state space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor produ...
215
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
The term ‘Session Fixation vulnerability’ subsumes issues in Web applications that under certain circumstances enable the adversary to perform a Session Hijacking attack throu...
157
click to vote
CADE
2012
Springer
13 years 6 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
171
click to vote
SIAMCOMP
2012
13 years 6 months ago
2012
Abstract. In the framework of Carter and Wegman, a k-independent hash function maps any k keys independently. It is known that 5independent hashing provides good expected performan...