13383 search results - page 2508 / 2677 » Abstractions from proofs |
ECSA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
ECTEL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...
EUC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In ubiquitous computing, as more and more devices are embedded into the environment, there is a risk that the user loses the understanding of the system. In normal use th...
EUROCAST
2007
Springer
14 years 4 months ago
2007
Springer
Abstract a paradigm of modern Machine Learning (ML) which uses rewards and punishments to guide the learning process. One of the central ideas of RL is learning by “direct-online...
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...