17054 search results - page 3127 / 3411 » Logics of Dynamical Systems |
155
click to vote
PACS
2004
Springer
16 years 2 days ago
2004
Springer
Management of power in data centers is driven by the need to not exceed circuit capacity. The methods employed in the oversight of these power circuits are typically static and ad...
187
click to vote
SCOPES
2004
Springer
16 years 2 days ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
203
click to vote
SEMWEB
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...
230
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
171
click to vote
STDBM
2004
Springer
16 years 2 days ago
2004
Springer
This paper introduces the Dynamic Cascade Tree (DCT), a structure designed to index query regions on multi-dimensional data streams. The DCT is designed for a stream management sy...