1418 search results - page 207 / 284 » How to Explain Mistakes |
175
click to vote
ATAL
2004
Springer
15 years 10 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 ...
158
click to vote
ATAL
2006
Springer
15 years 10 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 ...
133
click to vote
CAISE
2006
Springer
15 years 10 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...
157
click to vote
CASES
2006
ACM
15 years 10 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 ...
146
click to vote
EEE
2004
IEEE
15 years 10 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....