6608 search results - page 1088 / 1322 » On the Completeness of Model Checking |
196
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
199
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
195
click to vote
ECOOP
2005
Springer
16 years 4 days ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
195
Voted
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
174
click to vote
EWSA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...