Sciweavers

1423 search results - page 152 / 285
» Interpreting distributed ontologies
Sort
View
CLUSTER
2007
IEEE
14 years 4 months ago
A Comparison of robustness metrics for scheduling DAGs on heterogeneous systems
— A schedule is said robust if it is able to absorb some degree of uncertainty in tasks duration while maintaining a stable solution. This intuitive notion of robustness has led ...
Louis-Claude Canon, Emmanuel Jeannot
ICPADS
2005
IEEE
14 years 3 months ago
The Impact of Random Waypoint Mobility on Infrastructure Wireless Networks
In this paper we report the impact of the Random Waypoint model on infrastructure wireless networks that utilise multi-rate scheme. The Waypoint model causes a higher concentratio...
Dennis Pong, Tim Moors
CONCUR
2004
Springer
14 years 3 months ago
Message-Passing Automata Are Expressively Equivalent to EMSO Logic
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
Benedikt Bollig, Martin Leucker
CADE
2000
Springer
14 years 2 months ago
An Infrastructure for Intertheory Reasoning
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
William M. Farmer
DCC
1999
IEEE
14 years 2 months ago
Quadtree Classification and TCQ Image Coding
The set partitioning in hierarchical trees (SPIHT) wavelet image coding algorithm can be interpreted as implicitly using classification in its bit-plane coding procedure. The sourc...
Brian A. Banister, Thomas R. Fischer