319 search results - page 55 / 64 » Criteria for the verification of feature models |
CSIE
2009
IEEE
14 years 11 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
CORR
2000
Springer
14 years 9 months ago
2000
Springer
Analyzing the effect of concentrated noise on a typical decision-making process of a simplified two-candidate voting model, we have demonstrated that a local approach using a regi...
ISVC
2010
Springer
14 years 7 months ago
2010
Springer
This paper reports an experimental analysis of footsteps as a biometric. The focus here is on information extracted from the time domain of signals collected from an array of piezo...
MICCAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present an accurate cardiac boundary tracking method for 2D tagged MRI time sequences. This method naturally integrates the motion and the static local a...
TRIDENTCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
The 3GPP System Architecture Evolution (SAE) is a very attractive environment from the service provisioning perspective, thanks to the variety of access technologies and mobility ...