875 search results - page 142 / 175 » Specification Modules for Methodical System Development |
109
click to vote
ISSRE
2002
IEEE
15 years 2 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
79
Voted
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
In this paper we discuss the issues that need to be resolved before fully automated outdoor surveillance systems can be developed, and present solutions to some of these problems. ...
106
click to vote
CORR
2002
Springer
14 years 9 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
SIGIR
1999
ACM
15 years 2 months ago
1999
ACM
A content-based retrieval model for tackling the mismatch problems specific to music data is proposed and implemented. The system uses a pitch profile encoding for queries in any ...