Sciweavers

1005 search results - page 70 / 201
» Agile Methods for Embedded Systems
Sort
View
ICRE
1998
IEEE
14 years 2 months ago
Validating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...
MMSEC
2005
ACM
137views Multimedia» more  MMSEC 2005»
14 years 3 months ago
A fragile watermarking scheme for 3D meshes
In this paper, we propose a new fragile watermarking scheme for 3D meshes. Firstly, the watermark information is adaptively embedded into the mesh geometry by slightly adjusting t...
Hao-Tian Wu, Yiu-ming Cheung
SIGDOC
2005
ACM
14 years 3 months ago
A study of the documentation essential to software maintenance
Software engineering has been striving for years to improve the practice of software development and maintenance. Documentation has long been prominent on the list of recommended ...
Sergio Cozzetti B. de Souza, Nicolas Anquetil, K&a...
EUROSPI
2004
Springer
14 years 3 months ago
On-Site Customer in an XP Project: Empirical Results from a Case Study
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...
Juha Koskela, Pekka Abrahamsson
APNOMS
2006
Springer
14 years 1 months ago
SOA-Based Next Generation OSS Architecture
In convergence telecommunication environment, Business Agility plays very important role in the OSS(Operation Support System) when telco provide new merged services to customer on ...
Young-Wook Woo, Daniel W. Hong, Seong-Il Kim, Byun...