Search results for "choreography"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Wonjae Kim, Young Yoon	A Platform for Choreography of Heterogeneous Healthcare Services.	DEBS	2018	DBLP DOI BibTeX RDF
17	Khadidja Salah-Mansour, Youcef Hammal	ATL Based Refinement of WS-CDL Choreography into BPEL Processes.	MISC	2018	DBLP DOI BibTeX RDF
17	Harvey Bewley, Laurens Boer	Designing Blo-nut: Design Principles, Choreography and Otherness in an Expressive Social Robot.	Conference on Designing Interactive Systems	2018	DBLP DOI BibTeX RDF
17	Roger Altizer Jr., Eric Handman, Greg Bayles, Jeff Jackman, Kun Cheng, Sydnie Ritchie, Trevor Newell, Cheryl Wright	Choreografish: Co-designing a Choreography-based Therapeutic Virtual Reality System with Youth Who Have Autism Spectrum Advantages.	CHI PLAY (Companion)	2018	DBLP DOI BibTeX RDF
17	Rayan Hallal, Mohamad Jaber 0001, Rasha Abdallah	From Global Choreography to Efficient Distributed Implementation.	HPCS	2018	DBLP DOI BibTeX RDF
17	Flavio Corradini, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001	Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.	EDOC	2018	DBLP DOI BibTeX RDF
17	Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz 0001	Data-aware automatic derivation of choreography-conforming systems of services.	Comput. Stand. Interfaces	2017	DBLP DOI BibTeX RDF
17	Henning Christiansen 0001	A simple script language for choreography of multiple, synchronizing non-anthropomorphic robots.	CoRR	2017	DBLP BibTeX RDF
17	Luís Cruz-Filipe, Fabrizio Montesi	That's Enough: Asynchrony with Standard Choreography Primitives.	CoRR	2017	DBLP BibTeX RDF
17	Nebojsa Tausan, Jouni Markkula, Pasi Kuvaja, Markku Oivo	Choreography in the embedded systems domain: A systematic literature review.	CoRR	2017	DBLP BibTeX RDF
17	Maya Souilah Benabdelhafid, Béatrice Bérard, Mahmoud Boufaïda	Analysing timed compatibility of web service choreography.	Int. J. Crit. Comput. Based Syst.	2017	DBLP DOI BibTeX RDF
17	Nebojsa Tausan, Jouni Markkula, Pasi Kuvaja, Markku Oivo	Choreography in the embedded systems domain: A systematic literature review.	Inf. Softw. Technol.	2017	DBLP DOI BibTeX RDF
17	Paolo Salaris, Naoko Abe, Jean-Paul Laumond	Robot Choreography: The Use of the Kinetography Laban System to Notate Robot Action and Motion.	IEEE Robotics Autom. Mag.	2017	DBLP DOI BibTeX RDF
17	Greta Adamo, Stefano Borgo, Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher	BPMN 2.0 Choreography Language: Interface or Business Contract?	JOWO	2017	DBLP BibTeX RDF
17	Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi	The Paths to Choreography Extraction.	FoSSaCS	2017	DBLP DOI BibTeX RDF
17	Manuel I. Capel	Checking Realizability of a Timed Business Processes Choreography.	CLOSER	2017	DBLP DOI BibTeX RDF
17	Conrad Indiono, Stefanie Rinderle-Ma	Dynamic Change Propagation for Process Choreography Instances.	OTM Conferences (1)	2017	DBLP DOI BibTeX RDF
17	Fadhlallah Baklouti, Nicolas Le Sommer, Yves Mahéo	Choreography-based vs orchestration-based service composition in opportunistic networks.	WiMob	2017	DBLP DOI BibTeX RDF
17	Brandon Mechtley, Julian Stein, Christopher Roberts, Sha Xin Wei	Rich State Transitions in a Media Choreography Framework Using an Idealized Model of Cloud Dynamics.	ACM Multimedia (Thematic Workshops)	2017	DBLP DOI BibTeX RDF
17	Ioannis Rallis, Ioannis Georgoulas, Nikolaos Doulamis, Athanasios Voulodimos, Panagiotis Terzopoulos	Extraction of key postures from 3D human motion data for choreography summarization.	VS-GAMES	2017	DBLP DOI BibTeX RDF
17	Xinle Du, Haoqin Ma, Hongwei Wang 0001	A Knowledge-Based Intelligent System for Distributed and Collaborative Choreography.	ICIRA (1)	2017	DBLP DOI BibTeX RDF
17	Victor de Boer, Josien Jansen, Ana-Liza Tjon-A.-Pauw, Frank Nack	Interactive Dance Choreography Assistance.	ACE	2017	DBLP DOI BibTeX RDF
17	Anil Ozen, Umut Yazgan, Sanem Sariel, Gökhan Ince	Online generation of tango choreography using tempo estimation.	SIU	2017	DBLP DOI BibTeX RDF
17	Faiz Ul Muram, Muhammad Atif Javed, Huy Tran, Uwe Zdun	Towards a Framework for Detecting Containment Violations in Service Choreography.	SCC	2017	DBLP DOI BibTeX RDF
17	Ramaswamy Ramanujam, S. Sheerazuddin	Realizable temporal logics for web service choreography.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
17	Davide Basile 0001, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Emilio Tuosto	Relating two automata-based models of orchestration and choreography.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
17	Yingbao Zhou	Application of Automatic Choreography Software Based on Virtual Technology in the Gymnastics Teaching.	Int. J. Emerg. Technol. Learn.	2016	DBLP DOI BibTeX RDF
17	Clément Duhart, Pierre Sauvage, Cyrille Bertelle	A Resource Oriented Framework for Service Choreography over Wireless Sensor and Actor Networks.	Int. J. Wirel. Inf. Networks	2016	DBLP DOI BibTeX RDF
17	Jing Bi, Haitao Yuan 0001, Mengchu Zhou	A Petri Net Method for Compatibility Enforcement to Support Service Choreography.	IEEE Access	2016	DBLP DOI BibTeX RDF
17	Toshiyuki Miyamoto	Choreography Realization by Re-Constructible Decomposition of Acyclic Relations.	IEICE Trans. Inf. Syst.	2016	DBLP DOI BibTeX RDF
17	Hua Peng, Huosheng Hu, Fei Chao 0001, Changle Zhou, Jing Li 0032	Autonomous Robotic Choreography Creation via Semi-interactive Evolutionary Computation.	Int. J. Soc. Robotics	2016	DBLP DOI BibTeX RDF
17	Kristin Carlson, Thecla Schiphorst, Steve DiPaola	Moving Collaborations: A Critical Inquiry Into Designing Creative Interactive Systems for Choreography.	EAI Endorsed Trans. Creative Technol.	2016	DBLP DOI BibTeX RDF
17	Johanne Cohen, Daniel Cordeiro, Loubna Echabbi	Detecting service provider alliances on the choreography enactment pricing game.	CoRR	2016	DBLP BibTeX RDF
17	Luka Crnkovic-Friis, Louise Crnkovic-Friis	Generative Choreography using Deep Learning.	CoRR	2016	DBLP BibTeX RDF
17	Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi	The Paths to Choreography Extraction.	CoRR	2016	DBLP BibTeX RDF
17	Nebojsa Tausan, Jouni Markkula, Pasi Kuvaja, Markku Oivo	Embedded Systems Specific Requirements for Choreography Modelling Language Design.	Int. J. Inf. Syst. Model. Des.	2016	DBLP DOI BibTeX RDF
17	Paola Giannini, Anna-Lena Lamprecht, Tiziana Margaria	Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework.	MODELSWARD	2016	DBLP DOI BibTeX RDF
17	Nebojaa Tauaan, Jouni Markkula, Pasi Kuvaja, Markku Oivo	Choreography Modelling in Embedded Systems Domain - Requirements and Implementation Technologies.	MODELSWARD	2016	DBLP DOI BibTeX RDF
17	Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick	Choreography-Based Analysis of Distributed Message Passing Programs.	PDP	2016	DBLP DOI BibTeX RDF
17	Kristin Carlson, Philippe Pasquier, Herbert H. Tsang, Jordon Phillips, Thecla Schiphorst, Tom Calvert	CoChoreo: A Generative Feature in iDanceForms for Creating Novel Keyframe Animation for Choreography.	ICCC	2016	DBLP BibTeX RDF
17	Luka Crnkovic-Friis, Louise Crnkovic-Friis	Generative Choreography using Deep Learning.	ICCC	2016	DBLP BibTeX RDF
17	Toshiyuki Miyamoto	CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
17	Adriatik Nikaj, Fabian Pittke, Mathias Weske, Jan Mendling	Semi-automatic Derivation of RESTful Interactions from Choreography Diagrams.	BMMDS/EMMSAD	2016	DBLP DOI BibTeX RDF
17	Nebojsa Tausan, Jari Lehto, Jouni Markkula, Pasi Kuvaja, Markku Oivo	Choreography Modelling Language for the Embedded Systems Domain - Empirical Evaluation and Lessons Learned.	PROFES	2016	DBLP DOI BibTeX RDF
17	Eugene Tulika, Anatoliy Doroshenko, Kostiantyn Zhereb	Using Choreography of Actors and Rewriting Rules to Adapt Legacy Fortran Programs to Cloud Computing.	ICTERI (Revised Selected Papers)	2016	DBLP DOI BibTeX RDF
17	Adriatik Nikaj, Mathias Weske	Formal Specification of RESTful Choreography Properties.	ICWE	2016	DBLP DOI BibTeX RDF
17	Olivier Soares, Thomas Moser, Frank Aalbers	Vegetation choreography in the good dinosaur.	SIGGRAPH Talks	2016	DBLP DOI BibTeX RDF
17	Elizabeth Ann Jochum, Damith Chandana Herath	Robot Choreography: Performance Paradigms for Experimental HRI Setups.	Robophilosophy/TRANSOR	2016	DBLP DOI BibTeX RDF
17	Anil Ozen, Sanem Sariel, Gökhan Ince	Choreography synthesis from tango dance.	SIU	2016	DBLP DOI BibTeX RDF
17	Samik Basu 0001, Tevfik Bultan	Automated Choreography Repair.	FASE	2016	DBLP DOI BibTeX RDF
17	Alex Norta, Lixin Ma, Yucong Duan, Addi Rull, Merit Kõlvart, Kuldar Taveter	eContractual choreography-language properties towards cross-organizational business collaboration.	J. Internet Serv. Appl.	2015	DBLP DOI BibTeX RDF
17	Sangeeta Jadhav, Manish R. Joshi, Jyoti Pawar	Art to SMart: An Automated BharataNatyam Dance Choreography.	Appl. Artif. Intell.	2015	DBLP DOI BibTeX RDF
17	Shaoqian Zhang, Wan-Chun Dou, Jinjun Chen	A service evaluation method for cross-cloud service choreography.	Concurr. Comput. Pract. Exp.	2015	DBLP DOI BibTeX RDF
17	Nurulhuda A. Manaf, Sotiris Moschoyiannis, Paul J. Krause	Service Choreography, SBVR, and Time.	FOCLASA	2015	DBLP DOI BibTeX RDF
17	Clément Duhart, Pierre Sauvage, Cyrille Bertelle	EMMA: A Resource Oriented Framework for Service Choreography over Wireless Sensor and Actor Networks.	CoRR	2015	DBLP BibTeX RDF
17	Marco Autili, Amleto Di Salle, Alexander Perucci, Massimo Tivoli	On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems.	FOCLASA	2015	DBLP DOI BibTeX RDF
17	Maya Souilah Benabdelhafid, Mahmoud Boufaïda	The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application.	Int. J. E Bus. Res.	2015	DBLP DOI BibTeX RDF
17	Alistair Barros	Process Choreography Modelling.	Handbook on Business Process Management (1)	2015	DBLP DOI BibTeX RDF
17	Adriatik Nikaj, Sankalita Mandal, Cesare Pautasso, Mathias Weske	From Choreography Diagrams to RESTful Interactions.	ICSOC Workshops	2015	DBLP DOI BibTeX RDF
17	Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem	A service-oriented architecture (SOA) framework for choreography verification.	ICIS	2015	DBLP DOI BibTeX RDF
17	Dohyung Kim 0004, Minsu Jang, Youngwoo Yoon, Jaehong Kim 0001	Choreography Retrieval from the Korean POP Dance Motion Capture Database with Low-Cost Depth Cameras.	CSA/CUTE	2015	DBLP DOI BibTeX RDF
17	Sebastian Wagner 0001, Oliver Kopp, Frank Leymann	Choreography-based Consolidation of Interacting Processes Having Activity-based Loops.	CLOSER	2015	DBLP DOI BibTeX RDF
17	Andreas Weiß, Vasilios Andrikopoulos, Michael Hahn 0002, Dimka Karastoyanova	Enabling the Extraction and Insertion of Reusable Choreography Fragments.	ICWS	2015	DBLP DOI BibTeX RDF
17	Arbia Ben Azaiez, Zohra Sbaï	Model Checking Web Services Choreography.	EOMAS@CAiSE	2015	DBLP DOI BibTeX RDF
17	Alon Ilsar, Andrew Johnston	Choreography in the Mapping of New Instruments.	Creativity & Cognition	2015	DBLP DOI BibTeX RDF
17	Cesare Pautasso, Ana Ivanchikj, Silvia Schreier	Modeling RESTful Conversations with Extended BPMN Choreography Diagrams.	ECSA	2015	DBLP DOI BibTeX RDF
17	Firmino Silva, Claudia-Melania Chituc, Paul Grefen	An Approach for Automated Service Selection and Ranking using Services Choreography.	WEBIST	2015	DBLP DOI BibTeX RDF
17	Hazlifah Mohd Rusli, Aishah Ahmad, Suhaimi Ibrahim, Mazidah Puteh	Generating Finite State Machine from WSMO choreography for testing Web services.	ICDIM	2015	DBLP DOI BibTeX RDF
17	Amleto Di Salle, Francesco Gallo, Alexander Perucci	Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
17	Yongxin Zhao, Hao Xiao, Zheng Wang 0005, Geguang Pu, Ting Su 0001	The semantics and verification of timed service choreography.	Int. J. Comput. Math.	2014	DBLP DOI BibTeX RDF
17	Alin Stefanescu, Sebastian Wieczorek, Matthias Schur	Message choreography modeling - A domain-specific language for consistent enterprise service integration.	Softw. Syst. Model.	2014	DBLP DOI BibTeX RDF
17	Toshiyuki Miyamoto, Yasuwo Hasegawa, Hiroyuki Oimura	An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets.	IEICE Trans. Inf. Syst.	2014	DBLP DOI BibTeX RDF
17	Hongchao Nie, Xudong Lu, Huilong Duan	Supporting BPMN choreography with system integration artefacts for enterprise process collaboration.	Enterp. Inf. Syst.	2014	DBLP DOI BibTeX RDF
17	Davide Basile 0001, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Emilio Tuosto	From Orchestration to Choreography through Contract Automata.	ICE	2014	DBLP DOI BibTeX RDF
17	Guobing Zou, Yanglan Gan, Yixin Chen 0001, Bofeng Zhang, Ruoyun Huang, You Xu, Yang Xiang	Towards automated choreography of Web services using planning in large scale service repositories.	Appl. Intell.	2014	DBLP DOI BibTeX RDF
17	Gerd Gröner, Mohsen Asadi, Bardia Mohabbati, Dragan Gasevic, Marko Boskovic, Fernando Silva Parreiras	Validation of user intentions in process orchestration and choreography.	Inf. Syst.	2014	DBLP DOI BibTeX RDF
17	Peter Robinson 0005	Emediating the tourist gaze: memory, emotion and choreography of the digital photograph.	J. Inf. Technol. Tour.	2014	DBLP DOI BibTeX RDF
17	Kate Sicchio	Hacking Choreography: Dance and Live Coding.	Comput. Music. J.	2014	DBLP DOI BibTeX RDF
17	Kristin Carlson, Thecla Schiphorst, Steve DiPaola	Collaborative Choreography: A Critical Inquiry into Designing Creative Interactive Systems.	INTETAIN	2014	DBLP DOI BibTeX RDF
17	Alex Norta, Lixin Ma, Yucong Duan	Designing a Contractual Choreography Language for Automating Cross-organizational Business Collaboration.	SERVICES	2014	DBLP DOI BibTeX RDF
17	Marco Autili, Alfredo Goldman, Massimo Tivoli	IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014).	SERVICES	2014	DBLP DOI BibTeX RDF
17	Amleto Di Salle, Paola Inverardi, Alexander Perucci	Towards Adaptable and Evolving Service Choreography in the Future Internet.	SERVICES	2014	DBLP DOI BibTeX RDF
17	Hsin Hsin Lin	From Finger Gesture to Finger Choreography: Enabling 3D Live Performances on Smartphones.	IV	2014	DBLP DOI BibTeX RDF
17	Sebastian Wagner 0001, Oliver Kopp, Frank Leymann	Choreography-based Consolidation of Multi-instance BPEL Processes.	CLOSER	2014	DBLP DOI BibTeX RDF
17	Andreas Weiß, Santiago Gómez Sáez, Michael Hahn 0002, Dimka Karastoyanova	Approach and Refinement Strategies for Flexible Choreography Enactment.	OTM Conferences	2014	DBLP DOI BibTeX RDF
17	Lenuta Alboaie, Sinica Alboaie, Tudor Barbu	Extending Swarm Communication to Unify Choreography and Long-lived Processes.	ISD	2014	DBLP BibTeX RDF
17	Manuel I. Capel, Luis Eduardo Mendoza	Choreography Modeling Compliance for Timed Business Models.	EOMAS@CAiSE	2014	DBLP DOI BibTeX RDF
17	Marco Autili, Davide Di Ruscio, Amleto Di Salle, Alexander Perucci	CHOReOSynt: enforcing choreography realizability in the future internet.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
17	Lorna Moore	In[bodi]mental: Body Swapping - A Choreography of Shared Selves using Real-time Video.	EVA	2014	DBLP BibTeX RDF
17	Satoru Fukayama, Masataka Goto	Automated choreography synthesis using a Gaussian process leveraging consumer-generated dance motions.	Advances in Computer Entertainment	2014	DBLP DOI BibTeX RDF
17	Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi	Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams.	ModComp@MoDELS	2014	DBLP BibTeX RDF
17	Elahe R. Moghaddam, Javad Sadeghi, Faramarz F. Samavati	Sketch-Based Dance Choreography.	CW	2014	DBLP DOI BibTeX RDF
17	Kai Ma, Jin Wang, Hongli Yang, Jun Yan 0009, Jian Zhang 0001, Shengchao Qin	Choreography Scenario-Based Test Data Generation.	TASE	2014	DBLP DOI BibTeX RDF
17	Sarah Fdili Alaoui, Kristin Carlson, Thecla Schiphorst	Choreography as Mediated through Compositional Tools for Movement: Constructing A Historical Perspective.	MOCO	2014	DBLP DOI BibTeX RDF
17	Raphael de Aquino Gomes, Fábio M. Costa, Ricardo Couto Antunes da Rocha, Nikolaos Georgantas	A middleware-based approach for QoS-aware deployment of service choreography in the cloud.	Middleware Doctoral Symposium	2014	DBLP DOI BibTeX RDF
17	Aysen Erdogan, Sumanjit Kaur, Lisbeth Y. Garcia Arguello, Ronaldo A. Sevilla Berrios, Adil Ahmed, Vitaly Herasevich, Brian W. Pickering, Ognjen Gajic	Process Improvements from Implementing an Electronic Checklist and Rounds Choreography to the Intensive Care Unit.	AMIA	2014	DBLP BibTeX RDF
17	Tanveer Ahmed 0001, Abhishek Srivastava 0001	Service Choreography: Present and Future.	IEEE SCC	2014	DBLP DOI BibTeX RDF
17	Dariusz Mrozek, Bozena Malysiak-Mrozek, Artur Siaznik	search GenBank: interactive orchestration and ad-hoc choreography of Web services in the exploration of the biomedical resources of the National Center For Biotechnology Information.	BMC Bioinform.	2013	DBLP DOI BibTeX RDF
17	Leonardo A. F. Leite, Gustavo Ansaldi Oliva, Guilherme M. Nogueira, Marco Aurélio Gerosa, Fabio Kon, Dejan S. Milojicic	A systematic literature review of service choreography adaptation.	Serv. Oriented Comput. Appl.	2013	DBLP DOI BibTeX RDF
17	Incheon Paik, Wuhui Chen	Semantic pattern templates for automating business choreography on web services.	Int. J. Bus. Process. Integr. Manag.	2013	DBLP DOI BibTeX RDF