3053 search results - page 545 / 611 » A Logic of Abstract Argumentation |
FTDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...
IEEEICCI
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
PDP
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...
DOCENG
2003
ACM
14 years 2 months ago
2003
ACM
To support the rapid growth of the web and e-commerce, W3C developed DOM as an application programming interface that the abstract, logical tree structure of an XML document. In t...
PODC
2003
ACM
14 years 2 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...