2776 search results - page 94 / 556 » System-Level Abstraction Semantics |
151
click to vote
LISP
2006
15 years 4 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
131
click to vote
ICSOC
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Moving towards a global market of services requires flexible infrastructures that will deal with the inevitable semantic heterogeneity that occurs during the negotiation ...
134
click to vote
FUIN
2010
14 years 11 months ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
130
click to vote
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...
111
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...