Sciweavers

4636 search results - page 291 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
SIGMETRICS
2002
ACM
106views Hardware» more  SIGMETRICS 2002»
15 years 6 months ago
Analysis of methods for scheduling low priority disk drive tasks
This paper analyzes various algorithms for scheduling low priority disk drive tasks. The derived closed form solution is applicable to class of greedy algorithms that include a va...
Eitan Bachmat, Jiri Schindler
ICAIL
2003
ACM
16 years 3 days ago
A Model Based Reasoning Approach for Generating Plausible Crime Scenarios from Evidence
Robust decision support systems (DSSs) for crime investigation are difficult to construct because of the almost infinite variation of plausible crime scenarios. Thus, existing ap...
Jeroen Keppens, John Zeleznikow
COOP
2004
15 years 8 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...
CVPR
2003
IEEE
16 years 8 months ago
Spacetime Stereo: A Unifying Framework for Depth from Triangulation
Depth from triangulation has traditionally been treated in a number of separate threads in the computer vision literature, with methods like stereo, laser scanning, and coded stru...
James Davis, Ravi Ramamoorthi, Szymon Rusinkiewicz
RTAS
2008
IEEE
16 years 1 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty