955 search results - page 162 / 191 » Model Checking Operator Procedures |
101
Voted
CAD
2007
Springer
15 years 19 days ago
2007
Springer
Vehicle interior design directly relates to driver performance measures such as comfort, efficiency, risk of injury, and vehicle safety. A digital human is a convenient tool for ...
146
Voted
USS
2010
14 years 10 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
98
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
118
Voted
CAISE
2000
Springer
15 years 5 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
CVPR
1999
IEEE
16 years 2 months ago
1999
IEEE
We are developing a system to extract geodetic, textured CAD models from thousands of initially uncontrolled, close-range ground and aerial images of urban scenes. Here we describ...