5243 search results - page 799 / 1049 » Reasoning About Strategies |
216
click to vote
IMA
2005
Springer
16 years 4 days ago
2005
Springer
In recent years cryptographic protocols based on the Weil and Tate pairings on elliptic curves have attracted much attention. A notable success in this area was the elegant solutio...
172
click to vote
NORMAS
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we argue that allowing self-interested agents to activate social institutions during run-time can improve the robustness (i.e., stability, cooperation or fairness) ...
161
click to vote
OTM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
119
click to vote
PKDD
2005
Springer
16 years 4 days ago
2005
Springer
In most of the learning algorithms, examples in the training set are treated equally. Some examples, however, carry more reliable or critical information about the target than the ...
132
Voted
RE
2005
Springer
16 years 3 days ago
2005
Springer
This paper describes the use of Obstacle Analysis to identify anomaly-handling requirements for a safetycritical, autonomous system. The software requirements for the system evolv...