2661 search results - page 31 / 533 » A Semantics for Abstraction |
141
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
192
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
152
click to vote
DASFAA
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract. The present web is existing in the HTML and XML formats for persons to browse. Recently there is a trend towards the semantic web where the information can be can be proc...
130
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Recent work in the field of middleware technology proposes semantic spaces as a tool for coping with the scalability, heterogeneity and dynamism issues of large scale di...
125
click to vote
ENTCS
2007
15 years 6 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ...