620 search results - page 92 / 124 » Decidability Problems for Actor Systems |
CLIMA
2004
14 years 11 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
IJCAI
2003
14 years 11 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
91
Voted
IJACTAICIT
2010
14 years 4 months ago
2010
It is great practical interest to decide when to stop testing a software system in development phase and transfer it to the user. This problem is called as the optimal software re...
116
click to vote
RR
2010
Springer
14 years 8 months ago
2010
Springer
Role-based access control is a standard mechanism in information systems. Based on the role a user has, certain information is kept from the user even if requested. For ontologies ...
77
Voted
AI
1999
Springer
14 years 9 months ago
1999
Springer
A central problem in multistrategy learning systems is the selection and sequencing of machine learning algorithms for particular situations. This is typically done by the system ...