A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Filters
Realizability and Dynamic Reconfiguration of Chor Specifications
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
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]
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
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
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
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]
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]
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
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
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. ...
fatcat:uxt44kwsmjguhhde6jke4hypje
Agent-based distributed manufacturing process planning and scheduling: a state-of-the-art survey
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
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
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