860 search results - page 128 / 172 » A Process Algebra Based Verification of a Production System |
WWW
2006
ACM
14 years 9 months ago
2006
ACM
In this paper, we present a system we have developed for automatic TV News video indexing that successfully combines results from the fields of speaker verification, acoustic anal...
ICST
2009
IEEE
13 years 6 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...
ICIP
2009
IEEE
13 years 6 months ago
2009
IEEE
In a print production system, the ability to match a printed document with its original electronic form enables services that improve robustness of the production process, such as...