886 search results - page 67 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
TSMC
2002
14 years 9 months ago
2002
Image transfer is a method for projecting a 3D scene from two or more reference images. Typically, the correspondences of target points to be transferred and the reference points m...
108
click to vote
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
IROS
2009
IEEE
15 years 4 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...
112
click to vote
CAISE
1997
Springer
15 years 2 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
115
click to vote
TON
2010
14 years 4 months ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...