2473 search results - page 88 / 495 » The Logic of Communication Graphs |
119
Voted
ISPD
2003
ACM
15 years 8 months ago
2003
ACM
For multi-gigahertz designs in nanometer technologies, data transfers on global interconnects take multiple clock cycles. In this paper, we propose a regular distributed register ...
128
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
134
Voted
AO
2007
15 years 3 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
126
Voted
FAC
2008
15 years 3 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
153
Voted
ENTCS
2010
15 years 27 days ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...