Sciweavers

5550 search results - page 352 / 1110
» Different Approaches to Proof Systems
Sort
View
AC
2003
Springer
16 years 1 days ago
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
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 ...
Dan Barak, David Harel, Rami Marelly
ICDE
2008
IEEE
119views Database» more  ICDE 2008»
16 years 8 months ago
MobiQual: QoS-aware Load Shedding in Mobile CQ Systems
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 ...
Bugra Gedik, Kun-Lung Wu, Philip S. Yu, Ling Liu
VLDB
2008
ACM
148views Database» more  VLDB 2008»
16 years 7 months ago
Purpose based access control for privacy protection in relational database systems
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...
Ji-Won Byun, Ninghui Li
CCS
1999
ACM
15 years 11 months ago
A High-Performance Network Intrusion Detection System
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...
R. Sekar, Y. Guang, S. Verma, T. Shanbhag
INFOCOM
2010
IEEE
15 years 5 months ago
Linear Programming Models For Multi-Channel P2P Streaming Systems
Abstract—Most of the commercial P2P video streaming deployments support hundreds of channels and are referred to as multichannel systems. Measurement studies show that bandwidth r...
Miao Wang, Lisong Xu, Byrav Ramamurthy