Sciweavers

593 search results - page 50 / 119
» An approach to benchmarking configuration complexity
Sort
View
DAIS
2006
13 years 9 months ago
Intelligent Dependability Services for Overlay Networks
Application-level overlays have emerged as a useful means of offering network services that are not supported by the underlying physical network. Most overlays employ proprietary d...
Barry Porter, Geoff Coulson, Daniel Hughes
SOCA
2010
IEEE
13 years 5 months ago
Weighted fuzzy clustering for capability-driven service aggregation
Abstract--Workflow design, mashup configuration, and composite service formation are examples where the capabilities of multiple simple services combined achieve a complex function...
Christoph Dorn, Schahram Dustdar
CADE
2009
Springer
14 years 8 months ago
Real World Verification
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
André Platzer, Jan-David Quesel, Philipp R&...
WISE
2008
Springer
14 years 2 months ago
Requirements for Rich Internet Application Design Methodologies
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...
Jevon M. Wright, Jens Dietrich
ICFP
2007
ACM
14 years 7 months ago
Lazy call-by-value evaluation
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
Bernd Braßel, Frank Huch, Germán Vida...