3082 search results - page 409 / 617 » Deviation Analysis: A New Use of Model Checking |
174
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We present ExperiScope, an analytical tool to help designers and experimenters explore the results of quantitative evaluations of interaction techniques. ExperiScope combines a ne...
219
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...
185
click to vote
WECWIS
1999
IEEE
15 years 10 months ago
1999
IEEE
Analysis of network and application pegormance is traditionally based on mathematical models derived from first principles. Such models are usually complex, diflcult to use, and d...
182
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
In order to understand the complex physics of mother nature, physicist often use many approximations to understand one area of physics and then write a simulation to reduce these ...
168
click to vote
OR
2010
Springer
15 years 4 months ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...