Sciweavers

336 search results - page 50 / 68
» Dynamic Software Product Lines for Service-Based Systems
Sort
View
PLDI
2005
ACM
14 years 1 months ago
TraceBack: first fault diagnosis by reconstruction of distributed control flow
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
Andrew Ayers, Richard Schooler, Chris Metcalf, Ana...
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 1 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
ECSA
2011
Springer
12 years 7 months ago
Delta-oriented architectural variability using MontiCore
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
Arne Haber, Thomas Kutz, Holger Rendel, Bernhard R...
APAQS
2000
IEEE
14 years 2 days ago
A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
Claudia Pons, Maximo Prieto, Luis Olsina
MATA
2004
Springer
199views Communications» more  MATA 2004»
14 years 1 months ago
Configuration Management for Networked Reconfigurable Embedded Devices
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
Timothy O'Sullivan, Richard Studdert