7778 search results - page 1480 / 1556 » Designing Controllers for Reachability |
106
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
111
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The authors of this paper have all developed a framework that allows runtime adaptation of software systems. Based on our experiences, we wish to summarize common pitfall...
127
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
129
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Power leakage constitutes an increasing fraction of the total power consumption in modern semiconductor technologies. Recent research efforts have tried to integrate architecture...
116
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...