1171 search results - page 102 / 235 » A Logical Language for Expressing Authorizations |
189
click to vote
REX
1991
15 years 9 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
160
click to vote
EMNLP
2008
15 years 7 months ago
2008
Machine learning approaches to coreference resolution are typically supervised, and require expensive labeled data. Some unsupervised approaches have been proposed (e.g., Haghighi...
153
click to vote
TRUSTBUS
2009
Springer
16 years 25 days ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
167
click to vote
LACL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...
145
click to vote
KBSE
2006
IEEE
16 years 7 days ago
2006
IEEE
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...