16843 search results - page 86 / 3369 » On Generalized Authorization Problems |
ML
2008
ACM
13 years 8 months ago
2008
ACM
Abstract. Recently, there has been an increasing interest in directed probabilistic logical models and a variety of languages for describing such models has been proposed. Although...
SBMF
2010
Springer
13 years 2 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
ICIW
2008
IEEE
14 years 2 months ago
2008
IEEE
—Bus route system is the fundamental transportation device for aged people and students, and has an important role in every province. However, passengers decreases year by year, ...