Sciweavers

1724 search results - page 235 / 345
» Industrial applications
Sort
View
TSE
2012
13 years 8 months ago
Automated Abstractions for Contract Validation
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
Guido de Caso, Víctor A. Braberman, Diego G...
ICIP
2002
IEEE
16 years 8 months ago
Smart cameras with real-time video object generation
This paper presents a system for video object generation and selective encoding with applications in surveillance, mobile videophones, and automotive industry. Object tracking and...
Alessio Del Bue, Dorin Comaniciu, Visvanathan Rame...
CICLING
2009
Springer
16 years 7 months ago
Has Computational Linguistics Become More Applied?
Where the field has been and where it is going? It is relatively easy to know where we have been, but harder (and more valuable) to know where we are going. The title of this paper...
Kenneth Ward Church
ICSE
2008
IEEE-ACM
16 years 6 months ago
Continuous software quality supervision using SourceInventory and Columbus
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
Árpád Beszédes, Rudolf Ferenc...
ICSR
2000
Springer
15 years 10 months ago
Implementation Issues in Product Line Scoping
Often product line engineering is treated similar to the waterfall model in traditional software engineering, i.e., the different phases (scoping, analysis, architecting, implemen...
Klaus Schmid, Cristina Gacek