Sciweavers

6751 search results - page 166 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
FORTE
1996
15 years 3 months ago
Formal Description Techniques - How Formal and Descriptive are they?
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
Manfred Broy
ATAL
2007
Springer
15 years 7 months ago
Letting loose a SPIDER on a network of POMDPs: generating quality guaranteed policies
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are a popular approach for modeling multi-agent systems acting in uncertain domains. Given the signi...
Pradeep Varakantham, Janusz Marecki, Yuichi Yabu, ...
CVPR
2004
IEEE
16 years 3 months ago
Computing Depth under Ambient Illumination Using Multi-Shuttered Light
Range imaging has become a critical component of many computer vision applications. The quality of the depth data is of critical importance, but so is the need for speed. Shuttere...
Héctor H. González-Baños, Jam...
INFOCOM
2005
IEEE
15 years 7 months ago
Reduction of quality (RoQ) attacks on Internet end-systems
— Current computing systems depend on adaptation mechanisms to ensure that they remain in quiescent operating regions. These regions are often defined using efficiency, fairnes...
Mina Guirguis, Azer Bestavros, Ibrahim Matta, Yuti...
ITCC
2003
IEEE
15 years 7 months ago
A New Quality of Service Metric for Hard/Soft Real-Time Applications
Real-time applications often have mixed hard and soft deadlines, can be preempted subject to the cost of context switching or the restart of computation, and have various data dep...
Shaoxiong Hua, Gang Qu