939 search results - page 42 / 188 » Semantic Abstraction and Quantum Computation |
138
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
143
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
167
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
136
Voted
ESWS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Recent work in the field of middleware technology proposes semanticsaware tuplespaces as a tool for coping with the scalability, heterogeneity and dynamism issues arisin...
174
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...