734 search results - page 84 / 147 » A Method for Teaching a Software Process based on the Person... |
FMCO
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
TCAD
2010
13 years 3 months ago
2010
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
—The paper presents a novel spatial error concealment algorithm based on directional decision and intra prediction. Unlike previous approaches that simultaneously recover the pix...
MVA
2010
13 years 7 months ago
2010
Abstract This paper proposes a novel contact 3D acquisition system based on stereo vision and laser triangulation. The system is composed by several software modules for data acqui...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...