3676 search results - page 504 / 736 » Scalable component abstractions |
147
click to vote
IWSAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
167
click to vote
OHS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Over the last six years the Open Hypermedia Systems Working Group (OHSWG) has been working in a coordinated effort to produce a protocol which will allow components of an...
186
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
162
click to vote
AAECC
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. We look for the approximation of exp(A1 + A2) by a product in form exp(x1A1) exp(y1A2) · · · exp(xnA1) exp(ynA2). We specially are interested in minimal approximations...
168
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...