696 search results - page 48 / 140 » Explaining abstract counterexamples |
133
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
120
click to vote
LISP
2002
15 years 3 months ago
2002
Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto...
117
click to vote
ECTEL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present basic concepts and an outlook on current approaches and techniques of personal learning environments to point out their demands, focussing on recommendations i...
159
Voted
SJ
2011
14 years 10 months ago
2011
Abstract—Engineering cannot wait until all phenomena are explained. Engineers may work effectively, often for centuries, with heuristics. This paper provides thirty one heuristic...
130
click to vote
INTERACTIONS
2010
15 years 19 days ago
2010
s from a concrete to a new abstract level of description [1]. Rises in abstraction level happen regularly in all fields, but the key difference in Alexander's work was that ra...