550 search results - page 75 / 110 » Adaptive Hypermedia System Design: A Method From Practice |
115
click to vote
AC
2005
Springer
15 years 1 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
118
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
126
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Based on interviews with projec...
135
Voted
ETS
2002
IEEE
15 years 1 months ago
2002
IEEE
MODASPECTRA (MOtor Disability Assessment SPEcialists' TRAining) was a research and technology development project aimed at developing quality teaching and training of post-gr...
105
click to vote
CLOUDCOM
2010
Springer
14 years 12 months ago
2010
Springer
Checkpointing is a widely used mechanism for supporting fault tolerance, but notorious in its high-cost disk access. The idea of memory-based checkpointing has been extensively stu...