Sciweavers

4306 search results - page 153 / 862
» Timed Testing with TorX
Sort
View
111
Voted
DLOG
2006
15 years 2 months ago
PSPACE Automata for Description Logics
Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this ...
Jan Hladik, Rafael Peñaloza
99
Voted
ISIWI
2000
15 years 2 months ago
Usability Engineering Methods for the Web: Results From a Usability Study
The paper presents the results of a study on usability methods for evaluating Web sites. lt summarizes the "Heuristics for Web Communications," and reports the practical...
Ilse Maria Harms, Werner Schweibenz
111
Voted
TR
2008
88views more  TR 2008»
15 years 19 days ago
Reliability Sampling Plans Under Progressive Type-I Interval Censoring Using Cost Functions
Abstract--This paper gives a reliability sampling plan for progressively type I interval censored life tests when the lifetime follows the exponential distribution. We use the maxi...
Syuan-Rong Huang, Shuo-Jye Wu
108
Voted
SIGSOFT
2006
ACM
15 years 6 months ago
Simulation-based test adequacy criteria for distributed systems
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
Matthew J. Rutherford, Antonio Carzaniga, Alexande...
100
Voted
COMPSAC
2010
IEEE
14 years 10 months ago
Using Load Tests to Automatically Compare the Subsystems of a Large Enterprise System
Enterprise systems are load tested for every added feature, software updates and periodic maintenance to ensure that the performance demands on system quality, availability and res...
Haroon Malik, Bram Adams, Ahmed E. Hassan, Parmind...