8828 search results - page 89 / 1766 » Formal methods in practice |
131
Voted
IADIS
2003
15 years 5 months ago
2003
Adaptive Hypermedia Systems represent a great potential for e-learning; nevertheless instructors and designers find it difficult to develop adaptive application within their frame...
139
click to vote
MICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
In the past few years, several research works have demonstrated that sampling can drastically speed up architecture simulation, and several of these sampling techniques are already...
223
Voted
VLDB
2005
ACM
16 years 4 months ago
2005
ACM