5550 search results - page 352 / 1110 » Different Approaches to Proof Systems |
153
click to vote
AC
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
281
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Freshness and accuracy are two key measures of quality of service (QoS) in location-based, mobile continual queries (CQs). However, it is often difficult to provide both fresh and ...
301
click to vote
VLDB
2008
ACM
16 years 7 months ago
2008
ACM
Abstract In this article, we present a comprehensive approach for privacy preserving access control based on the notion of purpose. In our model, purpose information associated wit...
196
click to vote
CCS
1999
ACM
15 years 11 months ago
1999
ACM
In this paper we present a new approach for network intrusion detection based on concise specifications that characterize normal and abnormal network packet sequences. Our speci...
167
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
AbstractMost of the commercial P2P video streaming deployments support hundreds of channels and are referred to as multichannel systems. Measurement studies show that bandwidth r...