3429 search results - page 484 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
142
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
264
click to vote
JDM
2008
15 years 3 months ago
2008
The extensible markup language (XML) has become a standard for persistent storage and data interchange via the Internet due to its openness, self-descriptiveness, and flexibility....
160
click to vote
CORR
2011
Springer
14 years 7 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 ...
129
click to vote
PKC
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a simple and efficient conversion from a semantically secure public-key encryption scheme against passive adversaries to a non-malleable (or semantically secure...
135
click to vote
CL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...