7992 search results - page 264 / 1599 » Communication Abstractions for Distributed Systems |
121
click to vote
PERVASIVE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
132
click to vote
ACTA
2004
15 years 3 months ago
2004
Abstract. This paper addresses the problem of removing the polarizations of membranes from P systems with active membranes
146
Voted
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
147
click to vote
DALT
2008
Springer
15 years 5 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
105
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, a novel algorithm for bandwidth reduction in adaptive distributed learning is introduced. We deal with diffusion networks, in which the nodes cooperate with each ot...