Sciweavers

1383 search results - page 167 / 277
» Computational Mechanisms for Distributed Requirements Engine...
Sort
View
ICAC
2009
IEEE
15 years 10 months ago
A decentralized, architecture-based framework for self-growing applications
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
Ada Diaconescu, Philippe Lalanda
SAC
2008
ACM
15 years 5 months ago
Conflict-aware load-balancing techniques for database replication
Middleware-based database replication protocols require few or no changes in the database engine. As a consequence, they are more portable and flexible than kernel-based protocols...
Vaide Zuikeviciute, Fernando Pedone
EMSOFT
2006
Springer
15 years 10 months ago
An analysis framework for network-code programs
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 11 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
MIDDLEWARE
2004
Springer
15 years 11 months ago
Platform Independent Model Transformation Based on Triple
Reuse is an important topic in software engineering as it promises advantages like faster time-to-market and cost reduction. Reuse s on an abstract level is more beneficial than o...
Andreas Billig, Susanne Busse, Andreas Leicher, J&...