5962 search results - page 287 / 1193 » Working with Patterns and Code |
135
click to vote
SGAI
2007
Springer
15 years 11 months ago
2007
Springer
Novelty detection is a machine learning technique which identifies new or unknown information in large data sets. We present our current work on the construction of a new novelty...
132
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
142
click to vote
ISESE
2005
IEEE
15 years 10 months ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...
149
click to vote
MSR
2005
ACM
15 years 10 months ago
2005
ACM
Source code version repositories provide a treasure of information encompassing the changes introduced in the system throughout its evolution. These repositories are typically man...
128
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...