Sciweavers

2216 search results - page 273 / 444
» Hedging Structured Concepts
Sort
View
CALCO
2005
Springer
119views Mathematics» more  CALCO 2005»
15 years 11 months ago
The Category Theoretic Solution of Recursive Program Schemes
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
Stefan Milius, Lawrence S. Moss
ICSR
2004
Springer
15 years 11 months ago
Feature Dependency Analysis for Product Line Component Design
Analyzing commonalities and variabilities among products of a product line is an essential activity for product line asset development. A feature-oriented approach to commonality a...
Kwanwoo Lee, Kyo Chul Kang
DSN
2003
IEEE
15 years 11 months ago
Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study
Systems that are formed by massively distributed mobile resources, such as satellite constellations, often provide mission-critical functions. However, many existing quality-of-se...
Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Cha...
GLVLSI
2003
IEEE
135views VLSI» more  GLVLSI 2003»
15 years 11 months ago
Constructing exact octagonal steiner minimal trees
Octagonal Steiner Minimal Trees (OSMTs) are used in the global routing phase of pervasive octagonal VLSI layout. The OSMT problem seeks a minimal length spanning structure using e...
Chris Coulston
SRDS
2003
IEEE
15 years 11 months ago
Coordinated Forward Error Recovery for Composite Web Services
This paper proposes a solution based on forward error recovery, oriented towards providing dependability of composite Web services. While exploiting their possible support for fau...
Ferda Tartanoglu, Valérie Issarny, Alexande...