3513 search results - page 324 / 703 » Super Logic Programs |
242
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
137
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
144
click to vote
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
125
click to vote
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
170
Voted
SEBD
2001
15 years 5 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...