7988 search results - page 222 / 1598 » A Useful Undecidable Theory |
ENTCS
2007
15 years 19 days ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
124
click to vote
IANDC
2007
15 years 18 days ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
138
Voted
JAPLL
2007
15 years 17 days ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
116
Voted
BMCBI
2005
15 years 17 days ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
125
click to vote
ENTCS
2007
15 years 14 days ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...