939 search results - page 83 / 188 » Semantic Abstraction and Quantum Computation |
ACSD
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
ICPADS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— Multimedia centric P2P must take into consideration the main characteristics and the complex relationships among multimedia objects. In this paper, we propose a cluster...
100
click to vote
JAIR
2007
14 years 9 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
TLCA
2007
Springer
15 years 4 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...