Sciweavers

2214 search results - page 209 / 443
» Complexity of Reasoning
Sort
View
VAMOS
2009
Springer
15 years 10 months ago
Functional Variant Modeling for Adaptable Functional Networks
The application of functional networks in the automotive industry is still very slowly adopted into their development processes. Reasons for this are manifold. A functional networ...
Cem Mengi, Ibrahim Armaç
ICCS
2004
Springer
15 years 9 months ago
Routing and Wavelength Assignments in Optical WDM Networks with Maximum Quantity of Edge Disjoint Paths
In the present paper routing and wavelength assignment (RWA) in optical WDM networks is discussed. Previous techniques on based on the integer linear programming and graph coloring...
Hyunseung Choo, Vladimir V. Shakhov
145
Voted
DSN
2008
IEEE
15 years 5 months ago
Experiences with formal specification of fault-tolerant file systems
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
Roxana Geambasu, Andrew Birrell, John MacCormick
146
Voted
SYNTHESE
2011
72views more  SYNTHESE 2011»
14 years 10 months ago
Science without (parametric) models: the case of bootstrap resampling
Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasin...
Jan Sprenger
KAIS
2006
87views more  KAIS 2006»
15 years 3 months ago
Merging uncertain information with semantic heterogeneity in XML
Semi-structured information in XML can be merged in a logic-based framework [Hun02, Hun02b]. This framework has been extended to deal with uncertainty, in the form of probability ...
Anthony Hunter, Weiru Liu