3792 search results - page 278 / 759 » Techniques for Trusted Software Engineering |
178
click to vote
WOSS
2004
ACM
16 years 1 days ago
2004
ACM
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
148
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of its elements. In this paper we define three g...
164
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
Refactoring, an important technique for increasing flexibility of the source code, can be applied with much ease and efficiency by using automated tools. There is currently a lack...
171
click to vote
SCAM
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
150
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes a drawing system that incorporates two novel interaction techniques based on analogies to physical tools. Power tools add limited autonomy in the form of rota...