966 search results - page 75 / 194 » Communicating Answer Set Programs |
161
click to vote
AIED
2007
Springer
16 years 11 days ago
2007
Springer
On-line discussion is a popular form of web-based computer-mediated communication and is an important medium for distance education. Automatic tools for analyzing online discussion...
158
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper describes a Java-based communication middleware, called AspectJRMI, that applies aspect-oriented programming concepts to achieve the following requirements: (1...
173
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
157
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
210
click to vote
CSL
2007
Springer
16 years 10 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...