4350 search results - page 694 / 870 » Case studies for contract-based systems |
119
click to vote
AEI
2008
15 years 4 months ago
2008
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in gr...
124
click to vote
AIEDU
2007
15 years 4 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We describe SAFIUS, a secure accountable file system that resides over an untrusted storage. SAFIUS provides strong security guarantees like confidentiality, integrity, prevention ...
135
click to vote
ENTCS
2010
15 years 4 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
139
click to vote
FGCS
2006
15 years 3 months ago
2006
Tw o parallel programming models represented b y OpenMP and MPI are compared for PDE solvers based on regular sparse numerical operators. As a typical representative of such an app...