1995 search results - page 166 / 399 » What's the Problem |
138
click to vote
IFL
2005
Springer
15 years 10 months ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
134
click to vote
ITRUST
2005
Springer
15 years 10 months ago
2005
Springer
Trust is an important tool in human life, as it enables people to cope with the uncertainty caused by the free will of others. Uncertainty and uncontrollability are also issues in ...
109
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
142
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
121
click to vote
AOSE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...