4445 search results - page 232 / 889 » Reflective Authorization Systems |
120
click to vote
HICSS
2009
IEEE
16 years 17 days ago
2009
IEEE
Setting electric transmission tariffs is a classical multi-objective problem. The tariff problem is particularly challenging in modern power markets where transmission has been se...
158
click to vote
POLICY
2009
Springer
16 years 9 days ago
2009
Springer
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
159
click to vote
CONCUR
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
153
click to vote
FOSSACS
2007
Springer
15 years 12 months ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
151
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Agents must decide with whom to interact, which is nontrivial when no central directories are available. A classical decentralized approach is referral systems, where agents adapt...