4350 search results - page 208 / 870 » Case studies for contract-based systems |
143
Voted
DSD
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...
149
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a user-centered design methodology for Decision Support Systems (DSSs), which is specifically built to face the socio-technical gap that often impedes DSS accep...
125
click to vote
EUSAI
2004
Springer
15 years 10 months ago
2004
Springer
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...
126
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
129
click to vote
SERP
2004
15 years 6 months ago
2004
Changes to software systems often entail a loss of quality, especially if they have to be accomplished under pressure of time. Long-term software projects must counter this phenome...