2558 search results - page 25 / 512 » Model Composition Contracts |
106
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
In Agent Mediated Electronic Commerce, autonomy of agents is an important property. On one hand, it has to be favored to make the agents able to determine and adapt their own goal...
120
click to vote
AAAI
2007
15 years 4 months ago
2007
In this paper we develop a novel probabilistic model of computational trust that allows agents to exchange and combine reputation reports over heterogeneous, correlated multi-dime...
100
Voted
IEE
1998
15 years 2 months ago
1998
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
128
click to vote
JSAC
2011
14 years 5 months ago
2011
—Cognitive radio is a promising paradigm to achieve efficient utilization of spectrum resource by allowing the unlicensed users (i.e., secondary users, SUs) to access the licens...
218
click to vote
GAMESEC
2011
14 years 2 months ago
2011
Recent works on Internet risk management have proposed the idea of cyber-insurance to eliminate risks due to security threats, which cannot be tackled through traditional means suc...