691 search results - page 81 / 139 » Modeling the Case Study with LDL and Implementing it with LD... |
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
SC
2000
ACM
14 years 12 days ago
2000
ACM
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...
GRAPHITE
2006
ACM
14 years 2 months ago
2006
ACM
In the presented article we discuss and detail the general methodological approaches, the reconstruction strategies and the techniques that have been employed to achieve the 3D in...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...
SIGCPR
2000
ACM
14 years 12 days ago
2000
ACM
This paper elucidates an emergent theory of organizational structure, process and leadership which the author believes will characterize the Internet based workplace of the future...