Sciweavers

3901 search results - page 358 / 781
» software 2008
Sort
View
SQJ
2010
152views more  SQJ 2010»
15 years 5 months ago
Design pattern evolutions in QVT
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
Jing Dong, Yajing Zhao, Yongtao Sun
CHI
2008
ACM
16 years 7 months ago
Distributed participatory design
This paper contains a study on how Participatory Design (PD) and distributed software development (DSD) are linked up and whether Distributed Participatory Design is an inherent pa...
Karin Danielsson, Amir M. Naghsh, Dorina C. Gumm, ...
USENIX
2008
15 years 9 months ago
Diverse Replication for Single-Machine Byzantine-Fault Tolerance
New single-machine environments are emerging from abundant computation available through multiple cores and secure virtualization. In this paper, we describe the research challeng...
Byung-Gon Chun, Petros Maniatis, Scott Shenker
CSR
2008
Springer
15 years 8 months ago
Invariant Generation for P-Solvable Loops with Assignments
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
Laura Kovács
EDCC
2008
Springer
15 years 8 months ago
Refinement Patterns for Fault Tolerant Systems
The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigor...
Alexei Iliasov, Alexander Romanovsky