3733 search results - page 47 / 747 » Logics of communication and change |
JCST
2010
13 years 4 months ago
2010
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...
SECON
2010
IEEE
13 years 8 months ago
2010
IEEE
Push-to-Talk (PTT) is a useful capability for rapidly deployable wireless mesh networks used by first responders. PTT allows several users to speak with each other while using a si...
PARLE
1992
14 years 2 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
GROUP
1997
ACM
14 years 2 months ago
1997
ACM
During the different phases of a project, stakeholders have different communication needs and make use of different communication media to satisfy them. A group memory system must...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...