618 search results - page 72 / 124 » A Practical Program Transformation System for Reverse Engine... |
141
Voted
CSSE
2008
IEEE
15 years 5 months ago
2008
IEEE
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
114
click to vote
SDE
1991
15 years 6 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
111
click to vote
IANDC
2008
15 years 3 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
127
click to vote
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
123
click to vote
ICCD
2007
IEEE
16 years 8 days ago
2007
IEEE
Software integrity and confidentiality play a central role in making embedded computer systems resilient to various malicious actions, such as software attacks; probing and tamper...