1368 search results - page 202 / 274 » Understanding Software Systems Using Reverse Engineering Tec... |
134
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
138
Voted
SERA
2004
Springer
15 years 8 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
129
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
With the advent of miniaturized sensing technology, it has become possible to envision smart structures containing millions of sensors embedded in concrete for autonomously detect...
160
Voted
WWW
2011
ACM
14 years 9 months ago
2011
ACM
The multimedia information retrieval community has dedicated extensive research effort to the problem of content-based image retrieval (CBIR). However, these systems find their ma...
110
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...