Sciweavers

2216 search results - page 273 / 444
» Hedging Structured Concepts
Sort
View
CALCO
2005
Springer
119views Mathematics» more  CALCO 2005»
16 years 16 days 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
16 years 11 days 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
16 years 9 days 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»
16 years 9 days 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
16 years 8 days 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...