440 search results - page 23 / 88 » A Temporal Calculus of Communicating Systems |
WCNC
2010
IEEE
13 years 5 months ago
2010
IEEE
—An important transmitter adaptation technique used in multiple-input multiple-output (MIMO) communication systems is precoding based on the dominant right-singular vectors of th...
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
TOH
2010
13 years 5 months ago
2010
—Temporal discontinuities and delay caused by packet loss or communication latency often occur in multimodal telepresence systems. It is known that such artifacts can influence ...
ENTCS
2006
13 years 7 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...