Sciweavers

4143 search results - page 302 / 829
» A theory of distributed aspects
Sort
View
EDOC
2000
IEEE
15 years 11 months ago
A Component-Based Groupware Development Methodology
Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....
Cléver Ricardo Guareis de Farias, Luí...
IPPS
2000
IEEE
15 years 11 months ago
Fast Measurement of LogP Parameters for Message Passing Platforms
Abstract. Performance modeling is important for implementing efficient parallel applications and runtime systems. The LogP model captures the relevant aspects of message passing i...
Thilo Kielmann, Henri E. Bal, Kees Verstoep
COORDINATION
1999
Springer
15 years 11 months ago
A Group Based Approach for Coordinating Active Objects
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
Juan Carlos Cruz, Stéphane Ducasse
KBSE
1999
IEEE
15 years 11 months ago
Advanced Modelling and Verification Techniques Applied to a Cluster File System
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
Charles Pecheur
ICDCS
1998
IEEE
15 years 11 months ago
Experience with Secure Multi-Processing in Java
As Java is the preferred platform for the deployment of network computers, it is appealing to run multiple applications on a single Java desktop. We experimented with using the Ja...
Dirk Balfanz, Li Gong