Sciweavers

734 search results - page 96 / 147
» A Method for Teaching a Software Process based on the Person...
Sort
View
GI
2009
Springer
13 years 6 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
ICIP
2006
IEEE
14 years 10 months ago
Image Tampering Identification using Blind Deconvolution
Digital images have been used in growing number of applications from law enforcement and surveillance, to medical diagnosis and consumer photography. With such widespread populari...
Ashwin Swaminathan, Min Wu, K. J. Ray Liu
SIGCSE
2000
ACM
132views Education» more  SIGCSE 2000»
14 years 1 months ago
Empirical investigation throughout the CS curriculum
Empirical skills are playing an increasingly important role in the computing profession and our society. But while traditional computer science curricula are effective in teaching...
David W. Reed, Craig S. Miller, Grant Braught
HICSS
2003
IEEE
98views Biometrics» more  HICSS 2003»
14 years 2 months ago
The Importance of Articulation Work to Agency Content Management: Balancing Publication and Control
This paper describes the initial results of a qualitative field study of the work required to review and approve the content on government agency web sites. The study analyzes con...
Kristin R. Eschenfelder
ICTAC
2009
Springer
13 years 6 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier