Sciweavers

6568 search results - page 1048 / 1314
» Reducing the Complexity of Reductions
Sort
View
LFCS
2007
Springer
16 years 24 days ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang
MODELS
2007
Springer
16 years 24 days ago
Enhancing UML State Machines with Aspects
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
Gefei Zhang, Matthias M. Hölzl, Alexander Kna...
MSN
2007
Springer
16 years 24 days ago
Distributed Computation of Maximum Lifetime Spanning Subgraphs in Sensor Networks
Abstract. We present a simple and efficient distributed method for determining the transmission power assignment that maximises the lifetime of a data-gathering wireless sensor net...
Harri Haanpää, André Schumacher, ...
ODBIS
2007
Springer
150views Database» more  ODBIS 2007»
16 years 24 days ago
An Effective SPARQL Support over Relational Databases
Supporting SPARQL queries over relational databases becomes an active topic recently. However, it has not received enough consideration when SPARQL queries include restrictions on...
Jing Lu, Feng Cao, Li Ma, Yong Yu, Yue Pan
OTM
2007
Springer
16 years 24 days ago
Data-Driven Modeling and Coordination of Large Process Structures
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...
Dominic Müller, Manfred Reichert, Joachim Her...
« Prev « First page 1048 / 1314 Last » Next »