3022 search results - page 107 / 605 » Make Way for WayMaker |
164
click to vote
RWEB
2010
Springer
15 years 2 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...
126
click to vote
SIGSOFT
2010
ACM
15 years 2 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...
134
click to vote
SIGSOFT
2010
ACM
15 years 2 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...
172
click to vote
TGC
2010
Springer
15 years 2 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 ...
181
click to vote
ECTEL
2009
Springer
15 years 2 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...