96 Hits in 5.8 sec

Realizability and Dynamic Reconfiguration of Chor Specifications

Nima Roohi, Gwen Salaün
2011 Informatica (Ljubljana, Tiskana izd.)  
When peers corresponding to this specification are being executed we may want to modify the choreography specification and reconfigure dynamically the system.  ...  In this article, we present our solutions to check if a choreography is realizable and if a specific reconfiguration can be applied or not.  ...  Dynamic reconfiguration of Chor specifications 4.1 Reconfigurability Definition In this section, we show how we check whether a reconfiguration can be applied or not.  ... 
dblp:journals/informaticaSI/RoohiS11 fatcat:vuex3o7ewvhffpve2cmxcszca4

Editors' Introduction to the Special Issue on Autonomic and Self-Adaptive Systems

Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez Toledano
2011 Informatica (Ljubljana, Tiskana izd.)  
The fourth paper, entitled "Realizability and Dynamic Reconfiguration of Chor Specifications" has been authored by Nima Roohi and Gwen Salaün.  ...  This paper presents solutions to check if a certain service choreography is realizable and if a specific reconfiguration can be applied dynamically to the software system.  ...  check the realizability of the choreography.  ... 
dblp:journals/informaticaSI/CamaraCT11 fatcat:sozpmxnljfg25h3mcnkgjuwzta

The Evolution of Jolie [chapter]

Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2015 Lecture Notes in Computer Science  
In this paper we focus on two distinct advancements, one aiming at the development of dynamically adaptable orchestrated systems and one focusing on global choreographic specifications.  ...  Jolie was designed having in mind both the novel -at project timeconcepts related to Service-Oriented Computing and the traditional approach to the modelling of concurrency typical of process calculi.  ...  Acknowledgements Montesi was supported by the Danish Council for Independent Research (Technology and Production), grant n. DFF-4005-00304.  ... 
doi:10.1007/978-3-319-15545-6_29 fatcat:25fagjxlc5afjomsgs5irthbqa

QoS Composition and Analysis in Reconfigurable Web Services Choreographies

Ajay Kattepur, Nikolaos Georgantas, Valerie Issarny
2013 2013 IEEE 20th International Conference on Web Services  
In this paper, we begin with the set of QoS domains that may be studied in case of choreographies and the algebraic rules for their composition.  ...  Studies on the effects of such reconfiguration on multiple QoS domains can lead to better understanding of optimal runtime configurations along with associated tradeoffs.  ...  [22] provide a formal analysis of integrating QoS into the language Chor and provide composition techniques for latency and cost.  ... 
doi:10.1109/icws.2013.40 dblp:conf/icws/KattepurGI13 fatcat:igjxaspygvdtzb3bexbpm3t3zq

A systematic literature review of service choreography adaptation

Leonardo A. F. Leite, Gustavo Ansaldi Oliva, Guilherme M. Nogueira, Marco Aurélio Gerosa, Fabio Kon, Dejan S. Milojicic
2012 Service Oriented Computing and Applications  
The reconfiguration check receives as input two choreographies C I and C R written in Chor, where C I stands for the initial choreography and C R stands for the reconfigured one.  ...  of the specification and code levels.  ... 
doi:10.1007/s11761-012-0125-z fatcat:r42gev2cjvg4vljovqtiotisaq

Dynamic adaptation with distributed control in Paradigm

S. Andova, L.P.J. Groenewegen, E.P. de Vink
2014 Science of Computer Programming  
In [40] alternative implementations of software modules are allowed to support dynamic reconfiguration when a fault is detected.  ...  that can be realized by the adaptation.  ...  We thank the reviewers for their constructive feedback and helpful suggestions which assisted in improving the readability and positioning of the paper.  ... 
doi:10.1016/j.scico.2013.11.034 fatcat:za6c4shymrg3njnhy6tx7rsghy

Implementable wireless access for B3G networks. I. MIMO mimo channel measurement, analysis, and modeling [Topics in Radio Communications]

Mischa Dohler, Stephen McLaughlin, Dave Laurenson, Mark Beach, Chor Tan, A. Aghvami
2007 IEEE Communications Magazine  
dynamically reconfigurable networks • Indoor distributed antenna systems for high-bit-rate communications • Radio resource metric estimation These led to an interdependent set of research activities described  ...  RESEARCH AREAS To facilitate an efficient realization of these aims and objectives, the scope of Wireless Access was condensed to the following areas of research: • Evaluation of new radio environments  ... 
doi:10.1109/mcom.2007.344587 fatcat:go4ad36t3fbd5hud3ux7mi2yf4

Semantics-Aware Services for the Mobile Computing Environment [chapter]

Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny
2005 Lecture Notes in Computer Science  
Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and resources.  ...  However, common SOA solutions restrict considerably the openness of dynamic mobile systems in that they assume a specific middleware infrastructure, over which composed system components have been pre-developed  ...  A general approach to the management of the network's dynamics, following advances in wireless networks, lies in the automatic configuration and reconfiguration of networked devices and services.  ... 
doi:10.1007/11556169_1 fatcat:hv7gouc2bzcwpg7gvca7kr4plm

A Framework for the Attack Tolerance of Cloud Applications Based on Web Services

Georges Ouffoué, Fatiha Zaïdi, Ana R. Cavalli, Huu Nghia Nguyen
2020 Electronics  
The solutions proposed in the literature are sometimes specific to certain types of attacks and they cannot ensure the attack tolerance of web services.  ...  This framework includes the risks analysis of attacks and is based on diversification and software reflection techniques.  ...  Voting and dynamic reconfiguration are some examples of these techniques.  ... 
doi:10.3390/electronics10010006 fatcat:saghqiekgve4vhqsbeokzi3ssq

Special Issue: Autonomic and Self-Adaptive Systems

Javier Cámara, Carlos Cuesta, Miguel Ángel Pérez-Toledano, Anton Železnikar, Matjaž Gams, Jožef Stefan, Drago Torkar, Jožef Stefan, Editorial Board, Juan Carlos, Augusto, Argentina (+10 others)
2011 unpublished
For evaluating the approach, we have developed a prototype for generating during run-time the workflows that coordinate the architectural reconfiguration of a web-based application.  ...  Our approach can be applied to different application domains, improves the scalability associated with the generation of adaptation plans, and enables the usage of different planning techniques.  ...  Acknowledgement This work is partially supported by the project TIN2008-05932 funded by the Spanish Ministry of Science and Innovation (MICINN) and FEDER.  ... 

Agent-based distributed manufacturing process planning and scheduling: a state-of-the-art survey

Weiming Shen, Lihui Wang, Qi Hao
2006 IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)  
Manufacturing scheduling is the process of selecting a process plan and assigning manufacturing resources for specific time periods to the set of manufacturing processes in the plan.  ...  Without considering real-time machine workloads and shop floor dynamics, process plans may become suboptimal or even invalid at the time of execution.  ...  The agent-based approach is also being recognized as an effective way to realize adaptiveness and dynamism of process planning.  ... 
doi:10.1109/tsmcc.2006.874022 fatcat:dgqbnflcqbcftdeuhbpzyf2uoq

Sound as Affect? Encorporation and Movement in Vocal Performance [chapter]

2018 Sounding Islam: Voice, Media, and Sonic Atmospheres in an Indian Ocean World  
As I discussed in chapter 4, these elements of poetic performance specific to the na't genre thereby further qualify sonic suggestions of movement as Islamic, and even as Islamic in a specific sectarian  ...  The link between particular sonic movements and my respondents' reported sensations when vocal sound moved them lies in the iconicity of the measurable dynamics of sonic phenomena and culturally embedded  ... 
doi:10.1525/luminos.53.f fatcat:b6vrq2mjvjbsbi6igvcfrebu2y

New tectonics: a preliminary framework involving classic and digital thinking

Yu-Tung Liu, Chor-Kheng Lim
2006 Design Studies  
Some phenomena of digital tectonics have emerged to reveal the dynamic factors of motion, information, generation and fabrication.  ...  In a preliminary framework of new tectonics, seven classic and four digital factors form a whole and interact with each other.  ...  Acknowledgements The authors would like to express their gratitude to Wan-Ping Gao for the manuscripts of her study on digital tectonics, and Professor Chun-Tei Tseng for his constructive comments on recent  ... 
doi:10.1016/j.destud.2005.11.008 fatcat:zwgtg2j22bcebh2kcqeouqi3cm

Global value chains: A review of the multi-disciplinary literature

Liena Kano, Eric W. K. Tsang, Henry Wai-chung Yeung
2020 Journal of International Business Studies  
We suggest several future research topics such as microfoundations of GVC governance, GVC mapping, learning, impact of lead firm ownership and strategy, dynamics of GVC arrangements, value creation and  ...  distribution, financialization, digitization, the impact of renewed protectionism, the impact of GVCs on their macro-environment, and chainlevel performance management.  ...  We thank Haskayne School of Business at the University of Calgary and the National University of Singapore for funding the research for this paper through the Transformative Research Grant and Strategic  ... 
doi:10.1057/s41267-020-00304-2 fatcat:wysuyxnhanbppmb46qujc452j4

2020 Index IEEE Transactions on Circuits and Systems for Video Technology Vol. 30

2020 IEEE transactions on circuits and systems for video technology (Print)  
., TCSVT Jan. 2020 217-231 Hu, X., see Zhu, L., TCSVT Oct. 2020 3358-3371 Hu, Y., Lu, M., Xie, C., and Lu, X  ...  ., and Zeng, B., MUcast: Linear Uncoded Multiuser TCSVT Nov. 2020 4299-4308 Hu, R., see Chen, L., TCSVT Dec. 2020 4513-4525 Hu, R., see Wang, X., TCSVT Nov. 2020 4309-4320 Hu, X., see Zhang, X  ...  Multiple Histograms-Based Reversible Data Hiding: Framework and Realization.  ... 
doi:10.1109/tcsvt.2020.3043861 fatcat:s6z4wzp45vfflphgfcxh6x7npu
« Previous Showing results 1 — 15 out of 96 results