3441 search results - page 217 / 689 » Parallel Logic Programming Systems |
180
click to vote
SCAM
2005
IEEE
15 years 8 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
158
Voted
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
143
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
111
click to vote
CSL
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
147
click to vote
HPCN
2000
Springer
15 years 6 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...