2776 search results - page 341 / 556 » System-Level Abstraction Semantics |
204
click to vote
MOBISYS
2003
ACM
16 years 6 months ago
2003
ACM
3], in that it integrates a service-oriented abstraction with the operating system socket interface and provides adaptive service access at the end-host session layer. However, our...
169
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
156
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
160
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a method for using aligned ontologies to merge taxonomically organized data sets that have apparently compatible schemas, but potentially different semantics f...
188
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...