Sciweavers

47 search results - page 4 / 10
» A Bridge Between the Asynchronous Message Passing Model and ...
Sort
View
ICCS
2003
Springer
14 years 1 months ago
Using Conceptual Graphs to Capture Semantics of Agent Communication
Agent communication languages such as KQML and the FIPA ACL serve as metalanguages to define software agent message-passing protocols. These metalanguages are incompatible with eac...
Lois W. Harper, Harry S. Delugach
TACAS
2001
Springer
119views Algorithms» more  TACAS 2001»
14 years 1 months ago
Compositional Message Sequence Charts
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
Elsa L. Gunter, Anca Muscholl, Doron Peled
ICCCN
2008
IEEE
14 years 3 months ago
Localized Bridging Centrality for Distributed Network Analysis
— Centrality is a concept often used in social network analysis to study different properties of networks that are modeled as graphs. We present a new centrality metric called Lo...
Soumendra Nanda, David Kotz
CCS
2009
ACM
14 years 9 months ago
Unconditionally secure message transmission in arbitrary directed synchronous networks tolerating generalized mixed adversary
In this paper, we re-visit the problem of unconditionally secure message transmission (USMT) from a sender S to a receiver R, who are part of a distributed synchronous network, mo...
Kannan Srinathan, Arpita Patra, Ashish Choudhary, ...
DATE
2005
IEEE
143views Hardware» more  DATE 2005»
14 years 2 months ago
galsC: A Language for Event-Driven Embedded Systems
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
Elaine Cheong, Jie Liu