Sciweavers

1598 search results - page 206 / 320
» Integrating Component Tests to System Tests
Sort
View
USITS
2003
15 years 7 months ago
Why Do Internet Services Fail, and What Can Be Done About It?
In 1986 Jim Gray published his landmark study of the causes of failures of Tandem systems and the techniques Tandem used to prevent such failures [6]. Seventeen years later, Inter...
David L. Oppenheimer, Archana Ganapathi, David A. ...
CHI
2005
ACM
16 years 6 months ago
Wizard of Oz interfaces for mixed reality applications
One important tool for developing complex interactive applications is "Wizard of Oz" (WOz) simulation. WOz simulation allows design concepts, content and partially compl...
Steven Dow, Jaemin Lee, Christopher Oezbek, Blair ...
GECCO
2005
Springer
142views Optimization» more  GECCO 2005»
15 years 12 months ago
Toward evolved flight
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
Rusty Hunt, Gregory Hornby, Jason D. Lohn
ISCAS
2005
IEEE
173views Hardware» more  ISCAS 2005»
16 years 16 hour ago
CMOS contact imager for monitoring cultured cells
— There is a growing interest in developing low cost, low power, highly integrated biosensor systems to characterize individual cells for applications such as cell analysis, drug...
Honghao Ji, Pamela Abshire, M. Urdaneta, Elisabeth...
KBSE
2000
IEEE
15 years 10 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...