2255 search results - page 247 / 451 » High Assurance Software Systems |
160
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Dynamic Aspect-Oriented Programming (d-AOP) is an important tool to implement adaptation in a wide variety of applications. In particular, large distributed infrastructur...
179
click to vote
SGAI
2004
Springer
15 years 12 months ago
2004
Springer
This work describes a system that allocates end-to-end bandwidth, in a switched meshed communications network. The solution makes use of market-based software agents that compete ...
176
click to vote
FASE
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
167
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...
178
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...