769 search results - page 45 / 154 » Is Logic all in our Heads |
90
Voted
TASE
2008
IEEE
15 years 7 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...
123
click to vote
IWPSE
2003
IEEE
15 years 6 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
116
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
129
click to vote
DLOG
2009
14 years 10 months ago
2009
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
ACTA
1998
15 years 15 days ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...