3507 search results - page 586 / 702 » Slicing for architectural analysis |
178
click to vote
SENSYS
2003
ACM
16 years 6 days ago
2003
ACM
In this paper we examine the role of very simple and noisy sensors for the tracking problem. We propose a binary sensor model, where each sensor’s value is converted reliably to...
191
click to vote
SIGMETRICS
2003
ACM
16 years 6 days ago
2003
ACM
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...
193
Voted
SIGSOFT
2003
ACM
16 years 6 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
205
click to vote
AMR
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
203
Voted
APWEB
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Advances in content-based image retrieval(CBIR)lead to numerous efficient techniques for retrieving images based on their content features, such as colours, textures and ...