Sciweavers

8555 search results - page 139 / 1711
» Property Based Coordination
Sort
View
GLOBECOM
2010
IEEE
13 years 8 months ago
Energy Saving Performance Comparison of Coordinated Multi-Point Transmission and Wireless Relaying
Currently, two cooperative transmission strategies, Coordinated Multi-Point (CoMP) Transmission and wireless relaying, are expected to be deployed in future cellular systems to imp...
Dongxu Cao, Sheng Zhou, Chao Zhang, Zhisheng Niu
ICAT
2007
IEEE
14 years 4 months ago
Improvement of Accuracy for 2D Marker-Based Tracking Using Particle Filter
This paper presents a method for improving accuracy of marker-based tracking using a 2D marker for Augmented Reality. We focus on that tracking becomes unstable when the view dire...
Yuko Uematsu, Hideo Saito
COORDINATION
2006
Springer
14 years 1 months ago
Stochastic Reasoning About Channel-Based Component Connectors
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
Christel Baier, Verena Wolf
AAMAS
2008
Springer
13 years 10 months ago
Anticipation based on constraint processing in a multi-agent context
Anticipation is a general concept used and applied in various domains. Many studies in the field of artificial intelligence have investigated the capacity for anticipation. In thi...
Arnaud Doniec, René Mandiau, Sylvain Piecho...
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
13 years 7 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink