150 search results - page 9 / 30 » icse 2009 |
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Backtracking is necessary when design alternatives are explored or dead ends are reached. Unfortunately, current approaches support chronological backtracking only (undo or versio...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary co...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Existing black-box adaptation techniques are insufficiently powerful for a large class of real-world tasks. Meanwhile, white-box techniques are language-specificand overly invasiv...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...