429 search results - page 48 / 86 » Symbolic Computation Software Composability |
WETICE
2003
IEEE
14 years 3 months ago
2003
IEEE
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
AOSD
2003
ACM
14 years 3 months ago
2003
ACM
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...
EUROPAR
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. Thi...
EUROMICRO
1998
IEEE
14 years 2 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
IWSAS
2001
Springer
14 years 2 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...