Sciweavers

4328 search results - page 445 / 866
» A New Kind of Science
Sort
View
CSL
2010
Springer
15 years 8 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
CIDR
2009
132views Algorithms» more  CIDR 2009»
15 years 8 months ago
uFLIP: Understanding Flash IO Patterns
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before we can answer t...
Luc Bouganim, Björn Þór Jó...
DEXAW
2010
IEEE
181views Database» more  DEXAW 2010»
15 years 8 months ago
Bridging the Gap between Heterogeneous and Semantically Diverse Content of Different Disciplines
The Web has been flooded with highly heterogeneous data sources that freely offer their data to the public. Careful design and compliance to standards is a way to cope with the he...
Siarhei Bykau, Nadzeya Kiyavitskaya, Chrisa Tsinar...
COMAD
2009
15 years 8 months ago
On the Complexity of Multi-Query Optimization in Stream Grids
Stream grids are wide-area grid computing environments that are fed by a set of stream data sources. Such grids are becoming more wide-spread due to the large scale deployment of ...
Saikat Mukherjee, Srinath Srinivasa, Krithi Ramamr...
DGO
2009
88views Education» more  DGO 2009»
15 years 8 months ago
Attribute-value specification in customs fraud detection: a human-aided approach
With the growing importance of foreign commerce comes also greater opportunities for fraudulent behaviour. As such, governments must try to detect frauds as soon as they take plac...
Norton Trevisan Roman, Cristiano D. Ferreira, Luis...