1418 search results - page 207 / 284 » How to Explain Mistakes |
171
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
149
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
An agent's trust decision strategy consists of the agent's policies for making trust-related decisions, such as who to trust, how trustworthy to be, what reputations to ...
130
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
To create an understanding of enterprises and the ways they do business, a starting point could be to identify the main actors and the values transferred between them. Business mod...
150
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
140
click to vote
EEE
2004
IEEE
15 years 9 months ago
2004
IEEE
In a catalogue for computer-based models the basic problem is that complex interdependencies between models must be addressed, which are dependent on an application's domain....