27,756 Hits in 5.5 sec

Channel-based coordination via constraint satisfaction

Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
2011 Science of Computer Programming  
constraint satisfaction.  ...  Reo Connector colouring a b s t r a c t Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector.  ...  Coordination via constraint satisfaction In this section we formalise the per-round semantics of Reo primitives and their composition as a set of constraints.  ... 
doi:10.1016/j.scico.2010.05.004 fatcat:je7uci7y55hmrezefao36qgcaq

Interactive Interaction Constraints [chapter]

José Proença, Dave Clarke
2013 Lecture Notes in Computer Science  
This paper introduces interactive interaction constraints which enable interaction during constraint satisfaction, and in turn increase the expressiveness of coordination languages based on interaction  ...  Interaction constraints are an expressive formalism for describing coordination patterns, such as those underlying the coordination language Reo, that can be efficiently implemented using constraint satisfaction  ...  Table 1 . 1 Constraint-based encoding of Reo Channel.  ... 
doi:10.1007/978-3-642-38493-6_15 fatcat:cqestogplvellcl6j3oesn56ge

Deconstructing Reo

Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
2009 Electronical Notes in Theoretical Computer Science  
based on constraint propagation and satisfaction.  ...  Coordination in Reo emerges from the composition of the behavioural constraints of the primitives, such as channels, in a component connector.  ...  Coordination via Constraint Satisfaction This section formalises the per-round semantics of Reo primitives and composition as a set of constraints.  ... 
doi:10.1016/j.entcs.2009.06.028 fatcat:gl7fhehyobcnzom7uytlgftfra

Coordination via Interaction Constraints I: Local Logic

Dave Clarke, José Proença
2009 Electronic Proceedings in Theoretical Computer Science  
We take this approach literally and define a coordination model based on interaction constraints and partial, iterative and interactive constraint satisfaction.  ...  constraint generation, and coordination variables.  ...  Coordination via Constraint Satisfaction In previous work we described coordination in terms of constraint satisfaction.  ... 
doi:10.4204/eptcs.12.2 fatcat:2vlap3h4orcxjbmafpmquvkbci

The Role of Relational Coordination in Final Teacher Satisfaction in e-learning

Vasilica Maria Margalina, Carmen de Pablos Heredero, Jose Luis Montes Botella, Antón Rafael García Martinez
2014 Procedia Technology - Elsevier  
For this hypothesis, the communication channel (Channel) has been taken into account as a variable that can have an impact on the quality of communication.  ...  In this research, the relational coordination model has been applied to prove high levels of teacher satisfaction in e-learning.  ...  and time constraints.  ... 
doi:10.1016/j.protcy.2014.10.102 fatcat:wiqtkimk65bexg52gefi5hm2mi

Constraint-Based Personalization For Business Applications

Kal Toth
2011 International Business & Economics Research Journal  
Intelligent agents are being developed to implement these personalization effects through constraint-satisfaction methods and solvers.  ...  This paper reports on extensions of previous work applying personalization techniques and constraint-based methods within an intelligent agent framework.  ...  The current phase of the project is focusing on basic intelligent agent and personalization features automating channel selection, calendaring, and forms handling.  ... 
doi:10.19030/iber.v1i5.3918 fatcat:j2hmlyf6yba5bl5uzchayya2u4

Data Abstraction in Coordination Constraints [chapter]

José Proença, Dave Clarke
2013 Communications in Computer and Information Science  
This paper studies complex coordination mechanisms based on constraint satisfaction. In particular, it focuses on data-sensitive connectors from the Reo coordination language.  ...  To deal with a wider range of data types and operations, we abstract data and reduce the original constraint satisfaction problem to a SAT problem, based on a variation of predicate abstraction.  ...  Our contribution to this field is the use of constraint satisfaction to implement coordination patterns.  ... 
doi:10.1007/978-3-642-45364-9_14 fatcat:oesv4kuqxvdbph6ygtgwi4yvnq

A Multi-Armed Bandit Approach to Distributed Robust Beamforming in Multicell Networks

Xinruo Zhang, Mohammad Reza Nakhai, Wan Nur Suryani Firuz Wan Ariffin
2016 2016 IEEE Global Communications Conference (GLOBECOM)  
Finally, a multi-arm bandit based algorithm is proposed to optimally scale the SINR targets in a distributed manner based on individual BS power budgets, and coordinate intercell interference among the  ...  The optimization is constrained to strict individual base station (BS) transmit power limitations in the presence of imperfect channel state information (CSI).  ...  The set of non-convex rank-one constraints in problem (8) can be relaxed via SDR approach.  ... 
doi:10.1109/glocom.2016.7841517 dblp:conf/globecom/ZhangNA16 fatcat:p6dz5icptveznhy6zxo6bub7va

Service Orchestration with Priority Constraints [chapter]

Behnaz Changizi, Natallia Kokash, Farhad Arbab
2019 Lecture Notes in Computer Science  
We introduce special channels to propagate and block priority flows, define their semantics as constraints, and model priority propagation as a constraint satisfaction problem.  ...  We use the Reo coordination language to model and formally analyze workflows. In this paper, we propose a constraint-based approach to formalize priority in Reo.  ...  An effort to express the behavior of Reo networks via constraints is reported in [19] . It demonstrates the efficiency of the constraint-based approach.  ... 
doi:10.1007/978-3-030-31517-7_14 fatcat:2mwy5v23j5hgpki5opdweh6k6m

Performance Analysis of Wireless Mesh Network Using Adaptive Informant Factor Based Optimized Channel Allocation

Chethan K C, Basavaraju T G
2018 International Journal of Computer Science & Engineering Survey  
Therefore in this paper, we proposed OCA based AIF model that can access the channel information and then it process to improve the RF channel association.  ...  The proposed OCA-AIF will function for each period when some interference is detected via AIF and we further extend this analysis by taking in to consideration the influence of interference to provide  ...  In addition to that, the channel allocation is associated with the interference constraints (here considered linear constraints); which are recognized as a set of "routing constraints".  ... 
doi:10.5121/ijcses.2018.9501 fatcat:5ffkvik5pbfvpo3va4dnusj4fy

Joint rate control and power allocation for low-latency reliable D2D-based relay network

Yahui Wang, Yanhua He, Chen Xu, Zhenyu Zhou, Shahid Mumtaz, Jonathan Rodriguez, Haris Pervaiz
2019 EURASIP Journal on Wireless Communications and Networking  
Furthermore, the convergence time of the ADMM-based power allocation algorithm is only about 1.7% of that by using the CVX toolbox.  ...  In this work, we propose a low-latency reliable device-to-device (D2D) relay network framework to improve the cell coverage and user satisfaction.  ...  Device-to-device (D2D)-based relay communication, as a key technology of 5G, can improve data transmission and network coverage by assisting users with inferior channel conditions via multi-hop transmissions  ... 
doi:10.1186/s13638-019-1418-0 fatcat:thu7lal4fjb7pftk4mdcft76nu

A novel constraint satisfaction problem solver for self-configuring distributed systems with highly dynamic behavior

Benjamin Satzger, Faruk Bagci, Theo Ungerer
2010 The 2010 International Joint Conference on Neural Networks (IJCNN)  
Partitioning into coordinating cliques and channel allocation, two typical problems in that area, are used to evaluate the proposed algorithm.  ...  This paper proposes to use the constraint satisfaction problem (CSP) paradigm to realize such self-configuring systems.  ...  CONSTRAINT SATISFACTION PROBLEMS III.  ... 
doi:10.1109/ijcnn.2010.5596902 dblp:conf/ijcnn/SatzgerBU10 fatcat:7be2c7dtdvcj3cwdz2z4j72ys4

Robust chance-constrained distributed beamforming for multicell interference networks

Xinruo Zhang, Mohammad Reza Nakhai
2016 2016 IEEE International Conference on Communications (ICC)  
This problem is numerically intractable due to the cross-link coupling effect among a cluster of base stations (BSs) as well as the robust constraints that involve the second order statistical CSI estimation  ...  We propose a robust coordinated game theoretic approach that distributively minimizes the aggregate downlink transmit power in a multicell interference network in the presence of imperfect channel state  ...  In JT, the base stations (BSs) require all the channel state information (CSI) and user's data via capacity-limited backhaul links.  ... 
doi:10.1109/icc.2016.7511267 dblp:conf/icc/ZhangN16 fatcat:r6fnttdlpvdojhy3cpns2lyxsm

Self-Organized Model Predictive Control for Air Traffic Management

Fatemeh Asadi, Arthur Richards
2015 Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems - ATACCS '15  
By also terminating every trajectory with aloiter circle, recursive feasibility and constraint satisfaction, especially separation, can be guaranteed.  ...  The coordination approach of Self-organized Time Division Multiple Access is used to ensure no two aircraft re-plan their trajectories simultaneously.  ...  Sector-wide constraint satisfaction is assured proving no two aircraft re-plan at the same time.  ... 
doi:10.1145/2899361.2899377 dblp:conf/atacss/AsadiR15 fatcat:4unqe762xrhyhpdfuaumetk3vi

Compositional Workflow Modeling with Priority Constraints

Behnaz Changizi, Natallia Kokash, Farhad Arbab, Leonid Makhnist
2020 Science of Computer Programming  
Reo [15, 28] is a channel-based coordination language for composition of software components and services.  ...  The satisfaction rules for a solution δ are given by satisfaction of formulae in propositional logic. Definition 1 (Reo Constraint Satisfaction Problem (RCSP)).  ... 
doi:10.1016/j.scico.2020.102578 fatcat:6ptheuwqwzgwxlrmaddqfh2pqe
« Previous Showing results 1 — 15 out of 27,756 results