2019 search results - page 203 / 404 » Programming with Shared Data Abstractions |
123
click to vote
TFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
117
Voted
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The GRACE International Meeting on Bidirectional Transformations was held in December 2008 near Tokyo, Japan. The meeting brought together researchers and practitioners f...
124
click to vote
KSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
144
Voted
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
134
Voted
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...