1560 search results - page 300 / 312 » Order Functions and Evaluation Codes |
168
click to vote
CADE
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
166
click to vote
EDBT
2009
ACM
16 years 4 days ago
2009
ACM
Materialized views (MV) can significantly improve the query performance of relational databases. In this paper, we consider MVs to optimize complex scenarios where many heterogen...
174
Voted
MOBIQUITOUS
2008
IEEE
15 years 11 months ago
2008
IEEE
VESPA (Vehicular Event Sharing with a mobile P2P Architecture) 1 is a system for enabling vehicles to share information in vehicular ad-hoc networks (VANETs). The originality of V...
172
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Most of the current trust models in peer-to-peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer’s ide...
169
Voted
SECON
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—While mechanisms exist to instantiate common security functionality such as confidentiality and integrity, little has been done to define a mechanism for identificati...