2638 search results - page 272 / 528 » Frameworks for Reasoning about Agent Based Systems |
189
click to vote
IFL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
191
click to vote
ENTCS
2007
15 years 6 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
152
click to vote
UCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper proposes an extended framework for service provision for ubiquitous spaces based on Kerberos. The framework allows groups of services and information about ord...
185
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a biologically inspired and fully-decentralized approach to the organization of computation that is based on the autonomous scheduling of strongly mobile agents on a pe...
197
click to vote
FMOODS
2007
15 years 8 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...