3256 search results - page 310 / 652 » Applications of Formal Methods to System Design and Verifica... |
195
click to vote
PUC
2008
15 years 6 months ago
2008
Tabletop groupware systems have natural advantages for collaboration, but they present a challenge for application designers because shared work and interaction progress in differe...
169
click to vote
ITCC
2003
IEEE
15 years 12 months ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--We study the design of media streaming applications in the presence of multiple heterogeneous wireless access methods with different throughputs and costs. Our objective ...
174
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
157
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Many calibration methods calibrate a pair of sensors at a time. For robotic systems with many sensors, they are often time-consuming to use, and can also lead to inaccurate res...