3573 search results - page 62 / 715 » Reasoning about Codata |
166
Voted
CLIMA
2006
15 years 4 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
136
Voted
CASCON
2001
15 years 3 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
113
click to vote
ISTA
2001
15 years 3 months ago
2001
: The interest in the study of trust has grown steadily since 1990 in a wide range of scholarly disciplines. The science of information systems is no exception, since the concepts ...
128
click to vote
IJCAI
2003
15 years 3 months ago
2003
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...
164
Voted
SCS
2003
15 years 3 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...