Sciweavers

5570 search results - page 237 / 1114
» Applications of Fair Testing
Sort
View
ICNS
2008
IEEE
15 years 11 months ago
Effairness: Dealing with Time in Congestion Control Evaluation
Congestion control algorithms are traditionally evaluated in contrast to ideal capacity allocations that specify instantaneous efficient fair rates for application sessions but i...
Sergey Gorinsky, Harrick M. Vin
APN
2004
Springer
15 years 10 months ago
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
Gianfranco Ciardo
FASE
2004
Springer
15 years 10 months ago
Enhancing Remote Method Invocation through Type-Based Static Analysis
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
152
Voted
APSEC
2004
IEEE
15 years 9 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
PSSS
2003
15 years 6 months ago
Prolog-based Infrastructure for RDF: Scalability and Performance
The semantic web is a promising application-area for the Prolog programming language for its non-determinism and patternmatching. In this paper we outline an infrastructure for loa...
Jan Wielemaker, Guus Schreiber, Bob J. Wielinga