2911 search results - page 352 / 583 » A Theory of Expressiveness in Mechanisms |
190
click to vote
SACMAT
2005
ACM
16 years 5 days ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
343
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
182
click to vote
AOSE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
180
click to vote
FMCAD
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
158
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Most real-world negotiation scenarios involve multiple, interdependent issues. These scenarios are specially challenging because the agents' utility functions are nonlinear, ...