3729 search results - page 112 / 746 » On Formal Modeling of Agent Computations |
168
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
188
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
190
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
127
click to vote
CIMCA
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper, we present a simulation model specifically for investigating formal and informal organisational structures. CAVALIER-NPA (Networks of Planning Agents) is an agent-b...
152
click to vote
ICDCS
2005
IEEE
15 years 12 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...