789 search results - page 138 / 158 » A Formal Model for Epistemic Interactions |
156
click to vote
PEPM
2007
ACM
16 years 9 days ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
144
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
180
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we will examine two main aspects of trust dynamics: a) How direct experiences involving trust, with their successes or failures, influence the future trust of an age...
191
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
173
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...