WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
14 years 4 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
WOSP
2004
ACM
14 years 4 months ago
2004
ACM
WOSP
2004
ACM
14 years 4 months ago
2004
ACM
The Direct Access File System (DAFS) is a distributed file system built on top of direct-access transports (DAT). Direct-access transports are characterized by using remote direct...
WOSP
2004
ACM
14 years 4 months ago
2004
ACM
Performance characteristics, such as response time, throughput and scalability, are key quality attributes of distributed applications. Current practice, however, rarely applies s...
WOSP
2004
ACM
14 years 4 months ago
2004
ACM
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
WOSP
2004
ACM
14 years 4 months ago
2004
ACM
Designs for distributed systems must consider the possibility that failures will arise and must adopt specific failure detection strategies. We describe and analyze a self-regulat...
WOSP
2004
ACM
14 years 4 months ago
2004
ACM
WOSP
2004
ACM
14 years 4 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
WOSP
2004
ACM
14 years 4 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
WOSP
2004
ACM
14 years 4 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...