Sciweavers

7253 search results - page 687 / 1451
» Agile Performance Testing
Sort
View
QOSIP
2005
Springer
16 years 29 days ago
Unicast and Multicast QoS Routing with Multiple Constraints
Abstract. We explore techniques for efficient Quality of Service Routing in the presence of multiple constraints. We first present a polynomial time approximation algorithm for th...
Dan Wang, Funda Ergün, Zhan Xu
RE
2005
Springer
16 years 29 days ago
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
Mehrdad Sabetzadeh, Steve M. Easterbrook
SAT
2005
Springer
162views Hardware» more  SAT 2005»
16 years 28 days ago
Heuristics for Fast Exact Model Counting
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
Tian Sang, Paul Beame, Henry A. Kautz
UM
2005
Springer
16 years 28 days ago
User Control over User Adaptation: A Case Study
The A theory of user expectation of system interaction is introduced in the context of User Adapted Interfaces. The usability of an intelligent email client that learns to filter s...
Xiaoyan Peng, Daniel L. Silver
WAC
2005
Springer
135views Communications» more  WAC 2005»
16 years 28 days ago
Context-Driven Self-configuration of Mobile Ad Hoc Networks
We present the design and implementation of a working prototype system that enables self-configuration in mobile ad hoc networks (MANETs) by exploiting context awareness and cross-...
Apostolos Malatras, George Pavlou