Sciweavers

677 search results - page 113 / 136
» Rigorous Object-Oriented Analysis
Sort
View
AROBOTS
2005
98views more  AROBOTS 2005»
13 years 8 months ago
Terrain Classification Using Weakly-Structured Vehicle/Terrain Interaction
We present a new terrain classification technique both for effective, autonomous locomotion over rough, unknown terrains and for the qualitative analysis of terrains for exploratio...
Amy C. Larson, Guleser K. Demir, Richard M. Voyles
TON
2008
76views more  TON 2008»
13 years 8 months ago
Minimizing file download time in stochastic peer-to-peer networks
The peer-to-peer (P2P) file-sharing applications are becoming increasingly popular and account for more than 70% of the Internet's bandwidth usage. Measurement studies show th...
Yuh-Ming Chiu, Do Young Eun
HF
2002
95views more  HF 2002»
13 years 8 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
SIGMETRICS
2002
ACM
107views Hardware» more  SIGMETRICS 2002»
13 years 8 months ago
Passage time distributions in large Markov chains
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
Peter G. Harrison, William J. Knottenbelt
TSE
2002
98views more  TSE 2002»
13 years 8 months ago
Measurement Programs in Software Development: Determinants of Success
Measurement programs in software organizations are an important source of control over quality and cost in software development. The findings of this research presented here are ba...
Anandasivam Gopal, Mayuram S. Krishnan, Tridas Muk...