3515 search results - page 194 / 703 » On the semantics of Strategy Logic |
192
click to vote
FLOPS
2004
Springer
16 years 21 days ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
157
click to vote
ACE
2004
15 years 8 months ago
2004
1 Adaptive teaching does not usually rhyme with large number of students in class. Given the small amount of face to face and the disproportionate ratio, teachers have to use their...
175
click to vote
TASE
2008
IEEE
16 years 1 months 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...
176
click to vote
CORR
2010
Springer
15 years 7 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...
172
click to vote
ICLP
2007
Springer
16 years 1 months 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 ...