2106 search results - page 123 / 422 » Operational Semantics for MSC'96 |
164
Voted
REST
2010
ACM
15 years 6 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
158
Voted
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
178
Voted
COMSIS
2010
15 years 1 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
146
click to vote
SYNTHESE
2011
14 years 11 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
165
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...