Sciweavers

196 search results - page 8 / 40
» Battery-powered distributed systems (extended abstract)
Sort
View
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
13 years 9 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
ECBS
2006
IEEE
122views Hardware» more  ECBS 2006»
14 years 1 months ago
Customer-oriented Development of Complex Distributed Systems
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
Ivonne Erfurth
SCCC
1998
IEEE
13 years 12 months ago
An Adaptive Model for Programming Distributed Real-Time Applications in CORBA
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
Carlos Montez, Rômulo Silva de Oliveira, Jon...
CONCUR
2005
Springer
14 years 1 months ago
A Theory of System Behaviour in the Presence of Node and Link Failures
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
Adrian Francalanza, Matthew Hennessy
FTDCS
2004
IEEE
13 years 11 months ago
GT-P2PRMI: Improving Middleware Performance Using Peer-to-Peer Service Replication
Peer-to-peer systems have the desirable property that the amount of resources available in the system increase as demand for services increases due to growth of the system. We exp...
Tianying Chang, Mustaque Ahamad