8 search results - page 1 / 2 » fidji 2003 |
FIDJI
2003
Springer
13 years 9 months ago
2003
Springer
FIDJI
2003
Springer
13 years 9 months ago
2003
Springer
FIDJI
2003
Springer
13 years 9 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
FIDJI
2003
Springer
13 years 9 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
FIDJI
2003
Springer
13 years 9 months ago
2003
Springer
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...