Sciweavers

2210 search results - page 170 / 442
» Decision Support By Learning-On-Demand
Sort
View
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
16 years 21 days ago
Verifying Heap-Manipulating Programs in an SMT Framework
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...
PCM
2004
Springer
144views Multimedia» more  PCM 2004»
15 years 12 months ago
Dynamic Programming Based Adaptation of Multimedia Contents in UMA
Content adaptation is an effective solution to support the quality of service for multimedia services over heterogeneous networks. This paper deals with the accuracy and the real-...
Truong Cong Thang, Yong Ju Jung, Yong Man Ro
CHI
2003
ACM
15 years 11 months ago
Administrative assistants as interruption mediators
When designing automated systems that make decisions about when to allow or deny interruptions, the methods of professional interruption mediators are an important source of infor...
Laura Dabbish, Ryan Shaun Baker
SIGCOMM
1998
ACM
15 years 10 months ago
QoSMIC: Quality of Service Sensitive Multicast Internet Protocol
In this paper, we present, QoSMIC, a multicast protocol for the Internet that supports QoS-sensitive routing, and minimizes the importance of a priori con guration decisions such...
Michalis Faloutsos, Anindo Banerjea, Rajesh Pankaj
INFSOF
2007
139views more  INFSOF 2007»
15 years 6 months ago
Predicting software defects in varying development lifecycles using Bayesian nets
An important decision problem in many software projects is when to stop testing and release software for use. For many software products, time to market is critical and therefore ...
Norman E. Fenton, Martin Neil, William Marsh, Pete...