4401 search results - page 623 / 881 » Computing with Default Logic |
111
Voted
ENC
2005
IEEE
15 years 10 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
144
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
108
Voted
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
133
click to vote
SOFTVIS
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
163
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...