Sciweavers

11973 search results - page 223 / 2395
» Methods for organizational development
Sort
View
TFM
2009
Springer
119views Formal Methods» more  TFM 2009»
16 years 21 days ago
Teaching Formal Methods for the Unconquered Territory
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
Néstor Cataño, Camilo Rueda
ESCIENCE
2006
IEEE
16 years 5 days ago
Hybrid Particle Guide Selection Methods in Multi-Objective Particle Swarm Optimization
This paper presents quantitative comparison of the performance of different methods for selecting the guide particle for multi-objective particle swarm optimization (MOPSO). Two p...
David Ireland, Andrew Lewis, Sanaz Mostaghim, Junw...
APSEC
2006
IEEE
16 years 5 days ago
A Practical Estimation Method for Complex RE
Software projects typically require effort estimation from the Software Development Life Cycle (SDLC) staff at the commencement of the software development activities. Inaccuracie...
Bhavani Palyagar, Frank Moisiadis
194
Voted
3DIM
2005
IEEE
15 years 11 months ago
Semi-Automatic Range to Range Registration: A Feature-Based Method
Our goal is the production of highly accurate photorealistic descriptions of the 3D world with a minimum of human interaction and increased computational efficiency. Our input is...
Chen Chao, Ioannis Chao
156
Voted
ACMACE
2007
ACM
15 years 10 months ago
Methods for evaluating games: how to measure usability and user experience in games?
This workshop addresses current needs in the games developers' community and games industry to evaluate the overall user experience of games. New forms of interaction techniq...
Regina Bernhaupt, Manfred Eckschlager, Manfred Tsc...