3481 search results - page 366 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
143
click to vote
ICFP
2003
ACM
16 years 5 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...
153
click to vote
EEE
2005
IEEE
15 years 10 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...
138
Voted
ESWS
2006
Springer
15 years 8 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...
161
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
135
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...