2500 search results - page 152 / 500 » Logical Semantics of Modularisation |
175
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
148
click to vote
TASE
2008
IEEE
16 years 24 days ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...
153
click to vote
ICLP
2007
Springer
16 years 17 days ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
166
click to vote
ASIAN
1999
Springer
15 years 10 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...