Sciweavers

4810 search results - page 703 / 962
» Modeling Value Speculation
Sort
View
AMW
2009
15 years 7 months ago
Bi-Level Mapping: Combining Schema and Data Level Heterogeneity in Peer Data Sharing Systems
Abstract. Peer data sharing systems use either schema-level or data-level mappings to resolve schema as well as data heterogeneity among data sources (peers). Schema-level mappings...
Md. Anisur Rahman, Mehedi Masud, Iluju Kiringa, Ab...
ATVA
2010
Springer
148views Hardware» more  ATVA 2010»
15 years 7 months ago
Recursive Timed Automata
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
Ashutosh Trivedi, Dominik Wojtczak
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 7 months ago
Dynamic policy-based IDS configuration
Intrusion Detection System (IDS) is an important security enforcement tool in modern networked information systems. Obtaining an optimal IDS configuration for effective detection o...
Quanyan Zhu, Tamer Basar
ESA
2010
Springer
170views Algorithms» more  ESA 2010»
15 years 7 months ago
Streaming Graph Computations with a Helpful Advisor
Motivated by the trend to outsource work to commercial cloud computing services, we consider a variation of the streaming paradigm where a streaming algorithm can be assisted by a...
Graham Cormode, Michael Mitzenmacher, Justin Thale...
GIS
2008
ACM
15 years 7 months ago
Sparse terrain pyramids
Bintrees based on longest edge bisection and hierarchies of diamonds are popular multiresolution techniques on regularly sampled terrain datasets. In this work, we consider sparse...
Kenneth Weiss, Leila De Floriani