9698 search results - page 240 / 1940 » models 2010 |
202
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...
206
click to vote
ISSEP
2010
Springer
16 years 3 months ago
2010
Springer
Teaching introductory object-oriented programming presents considerable challenges. Some of these challenges are due to the intrinsic complexity of the subject matter — object-or...
146
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite “tensorial dimension...
179
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
115
click to vote
SIGOPS
2010
15 years 5 months ago
2010
This paper proposes a new storage model, device transparency, in which users view and manage their entire data collection from any of their devices, even from disconnected storage...