Sciweavers

1326 search results - page 196 / 266
» Increasing Productivity at Saturn
Sort
View
IV
2000
IEEE
110views Visualization» more  IV 2000»
15 years 4 months ago
MACAO - A Journey into CAx Interoperability and Collaborative Design
The increasing parallelisation of development processes as well as the ongoing trends towards virtual product development and outsourcing of development activities strengthen the ...
Florian Arnold
ACMDIS
2000
ACM
15 years 4 months ago
Performance Targets, Models and Innovation in Interactive System Design
This paper presents an approach to designing interactive systems that enables critical performance parameters to be identified and models of performance to be constructed. The met...
William M. Newman, Alex S. Taylor, Christopher R. ...
CHI
2000
ACM
15 years 4 months ago
Measuring the allocation of control in a 6 degree-of-freedom docking experiment
Coordination definitions and metrics are reviewed from the motor control, biomedical, and human factors literature. This paper presents an alternative measurement called the M-met...
Maurice R. Masliah, Paul Milgram
CPE
2000
Springer
292views Hardware» more  CPE 2000»
15 years 4 months ago
SREPT: Software Reliability Estimation and Prediction Tool
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
Srinivasan Ramani, Kishor S. Trivedi
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 4 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...