5962 search results - page 287 / 1193 » Working with Patterns and Code |
171
click to vote
SGAI
2007
Springer
16 years 22 days 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...
157
click to vote
TACAS
2007
Springer
16 years 22 days 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...
175
click to vote
ISESE
2005
IEEE
16 years 6 days 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...
181
click to vote
MSR
2005
ACM
16 years 6 days 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...
159
click to vote
LCTRTS
2005
Springer
16 years 4 days 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...