3022 search results - page 107 / 605 » Make Way for WayMaker |
129
click to vote
RWEB
2010
Springer
14 years 10 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...
101
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Legislation is constantly affecting the way in which software developers can create software systems, and deliver them to their users. This raises the need for methods and tools t...
134
Voted
TGC
2010
Springer
14 years 10 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
132
Voted
ECTEL
2009
Springer
14 years 10 months ago
2009
Springer
Successful self-regulated learning in a personalized learning environment (PLE) requires self-monitoring of the learner and reflection of learning behaviour. We introduce a tool ca...