Search results for "compositions"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Sébastien Salva, Patrice Laurençot	Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds.	Int. J. Comput. Aided Eng. Technol.	2015	DBLP DOI BibTeX RDF
14	Michael Boyd	Thomas DeLio: Selected Compositions (1991-2013).	Comput. Music. J.	2015	DBLP DOI BibTeX RDF
14	Afef Jmal Maâlej, Moez Krichen	Study on the Limitations of WS-BPEL Compositions Under Load Conditions.	Comput. J.	2015	DBLP DOI BibTeX RDF
14	Nina Yevtushenko 0001, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang	Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.	Comput. J.	2015	DBLP DOI BibTeX RDF
14	Sylvie Corteel, Jeremy Lovejoy, Carla D. Savage	Anti-lecture hall compositions and Andrews' generalization of the Watson-Whipple transformation.	J. Comb. Theory, Ser. A	2015	DBLP DOI BibTeX RDF
14	Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez	Quality metrics for mutation testing with applications to WS-BPEL compositions.	Softw. Test. Verification Reliab.	2015	DBLP DOI BibTeX RDF
14	Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner	Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems.	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing	2015	DBLP DOI BibTeX RDF
14	Alex Wong 0001, Alan L. Yuille	One Shot Learning via Compositions of Meaningful Patches.	ICCV	2015	DBLP DOI BibTeX RDF
14	Gaetan Hurel, Remi Badonnel, Abdelkader Lahmadi, Olivier Festor	Towards cloud-based compositions of security functions for mobile devices.	IM	2015	DBLP DOI BibTeX RDF
14	Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari	Relational Formalisations of Compositions and Liftings of Multirelations.	RAMiCS	2015	DBLP DOI BibTeX RDF
14	Yi-Chih Tsai, Liang-Chi Hsieh, Wen-Feng Cheng, Yin-Hsi Kuo, Winston H. Hsu, Wen-Chin Chen	Trending pool: Visual analytics for trending event compositions for time-series categorical log data.	VAST	2015	DBLP DOI BibTeX RDF
14	Zahra Valizadeh-Gh, Esmaile Khorram	Reducing the feasible region of fuzzy relational equation systems regarding two different compositions.	FUZZ-IEEE	2015	DBLP DOI BibTeX RDF
14	Svetlana Arifulina, Felix Mohr, Gregor Engels, Marie Christin Platenius, Wilhelm Schäfer	Market-Specific Service Compositions: Specification and Matching.	SERVICES	2015	DBLP DOI BibTeX RDF
14	Róisín Loughran, James McDermott, Michael O'Neill 0001	Tonality driven piano compositions with Grammatical Evolution.	CEC	2015	DBLP DOI BibTeX RDF
14	K. Vidyasankar	Transactional properties of compositions of Internet of Things services.	ISC2	2015	DBLP DOI BibTeX RDF
14	Delfina Malandrino, Donato Pirozzi, Gianluca Zaccagnino, Rocco Zaccagnino	A Color-Based Visualization Approach to Understand Harmonic Structures of Musical Compositions.	IV	2015	DBLP DOI BibTeX RDF
14	Marc-André Laverdière, Bernhard J. Berger, Ettore Merlo	Taint analysis of manual service compositions using Cross-Application Call Graphs.	SANER	2015	DBLP DOI BibTeX RDF
14	Mauro Caporuscio, Raffaela Mirandola, Catia Trubiani	QoS-based Feedback for Service Compositions.	QoSA	2015	DBLP DOI BibTeX RDF
14	Joo-Kyung Kim, Marie-Catherine de Marneffe, Eric Fosler-Lussier	Neural word embeddings with multiplicative feature interactions for tensor-based compositions.	VS@HLT-NAACL	2015	DBLP DOI BibTeX RDF
14	Li Li 0001, Tony Tang, Wu Chou	An XML Based Monadic Framework for REST Service Compositions.	ICWS	2015	DBLP DOI BibTeX RDF
14	Kaustuv Kanti Ganguli, Abhinav Rastogi, Vedhas Pandit, Prithvi Kantan, Preeti Rao	Efficient Melodic Query Based Audio Search for Hindustani Vocal Compositions.	ISMIR	2015	DBLP BibTeX RDF
14	Xiao He 0005, Yanmei Fu, Chang-Ai Sun, Zhiyi Ma, Weizhong Shao	Towards Model-Driven Variability-Based Flexible Service Compositions.	COMPSAC	2015	DBLP DOI BibTeX RDF
14	Zack Zhu, Jing Yang 0022, Chen Zhong, Julia Seiter 0001, Gerhard Tröster	Learning functional compositions of urban spaces with crowd-augmented travel survey data.	SIGSPATIAL/GIS	2015	DBLP DOI BibTeX RDF
14	David M. Hofmann	A Genetic Programming Approach to Generating Musical Compositions.	EvoMUSART	2015	DBLP DOI BibTeX RDF
14	Gang Zhou, Yunni Xia, Ke Yu, Qiang Chen, Ping Gu	A Queuing-Network-Based Approach to Performance Evaluation of Service Compositions.	ICEBE	2015	DBLP DOI BibTeX RDF
14	Heerko Groefsema, Nick van Beest	Design-Time Compliance of Service Compositions in Dynamic Service Environments.	SOCA	2015	DBLP DOI BibTeX RDF
14	Katharina Görlach, Frank Leymann	A Flexible Engine for the Unified Execution of Service Compositions.	SOSE	2015	DBLP DOI BibTeX RDF
14	Yu Zhu 0004, Yanning Zhang, Boyan Bonev 0001, Alan L. Yuille	Modeling deformable gradient compositions for single-image super-resolution.	CVPR	2015	DBLP DOI BibTeX RDF
14	Xianjie Chen, Alan L. Yuille	Parsing occluded people by flexible compositions.	CVPR	2015	DBLP DOI BibTeX RDF
14	Jing Jiang 0022, Xin-an Tian	Compositions of generalized fuzzy matrices over inclines.	FSKD	2015	DBLP DOI BibTeX RDF
14	Mahdi Bennara, Youssef Amghar, Michael Mrissa	Managing Web Resource Compositions.	WETICE	2015	DBLP DOI BibTeX RDF
14	Nhung Cao, Martin Stepnicka, Michal Holcapek	An Extension of Fuzzy Relational Compositions Using Generalized Quantifiers.	IFSA-EUSFLAT	2015	DBLP BibTeX RDF
14	Boris Düdder, Jakob Rehof, George T. Heineman	Synthesizing type-safe compositions in feature oriented software designs using staged composition.	SPLC	2015	DBLP DOI BibTeX RDF
14	Maria C. Papoutsoglou 0001, Nikolaos Vesyropoulos, Christos K. Georgiadis	Utilizing Business Intelligence and Social Media Streams for optimized Web Service Compositions.	BCI	2015	DBLP DOI BibTeX RDF
14	Imen Khabou, Mohsen Rouached, Mohamed Abid, Rafik Bouaziz	Enhancing web services compositions with privacy capabilities.	iiWAS	2015	DBLP DOI BibTeX RDF
14	Amleto Di Salle, Francesco Gallo, Alexander Perucci	Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
14	Dessislava Petrova-Antonova, Sylvia Ilieva, Vera Stoyanova	A pattern for WSDL-based testing of web service compositions.	EuroPLoP	2015	DBLP DOI BibTeX RDF
14	Konstantinos Traganos, Paul W. P. J. Grefen	Hybrid Service Compositions: When BPM Meets Dynamic Case Management.	ESOCC	2015	DBLP DOI BibTeX RDF
14	Raffaela Mirandola, Diego Perez-Palacin, Patrizia Scandurra, Michele Brignoli, Andrea Zonca	Business Process Adaptability Metrics for QoS-Based Service Compositions.	ESOCC	2015	DBLP DOI BibTeX RDF
14	Guillaume Babin, Yamine Aït Ameur, Marc Pantel	Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B.	SCC	2015	DBLP DOI BibTeX RDF
14	Diana-Elena Reichle	Managing Quality Properties of Web Service Compositions.		2015	RDF
14	Olga Kondratyeva	Timed FSM strategy for optimizing web service compositions w.r.t. the quality and safety issues. (Stratégie basée sur les machines à états finis temporisées pour optimiser la composition de services web à l'égard de la qualité et de la sécurité).		2015	RDF
14	Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo	Automatic dynamic generation of likely invariants for WS-BPEL compositions.	Expert Syst. Appl.	2014	DBLP DOI BibTeX RDF
14	Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu 0001, Rachida Dssouli	Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols.	Expert Syst. Appl.	2014	DBLP DOI BibTeX RDF
14	Achille Peternier, Cesare Pautasso, Walter Binder, Daniele Bonetta	High-performance execution of service compositions: a multicore-aware engine design.	Concurr. Comput. Pract. Exp.	2014	DBLP DOI BibTeX RDF
14	Xin Yuan 0002	Coherent sources direction finding and polarization estimation with various compositions of spatially spread polarized antenna arrays.	Signal Process.	2014	DBLP DOI BibTeX RDF
14	Dries Geebelen, Kristof Geebelen, Eddy Truyen, Sam Michiels, Johan A. K. Suykens, Joos Vandewalle, Wouter Joosen	QoS prediction for web service compositions using kernel-based quantile estimation with online adaptation of the constant offset.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
14	Toufik Mansour, Mark Shattuck, Mark C. Wilson	Congruence successions in compositions.	Discret. Math. Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Aubrey Blecher, Charlotte A. C. Brennan, Arnold Knopfmacher	Descents after maxima in compositions.	Discret. Math. Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Stefan Kratsch	Co-Nondeterminism in Compositions: A Kernelization Lower Bound for a Ramsey-Type Problem.	ACM Trans. Algorithms	2014	DBLP DOI BibTeX RDF
14	James Daniel Diffenderfer	Building a Better Bijection Between Classes of Compositions.	Integers	2014	DBLP BibTeX RDF
14	Darren B. Glass	Compositions of Integers With Bounded Parts.	Integers	2014	DBLP BibTeX RDF
14	Dionysios Efstathiou, Peter McBurney, Steffen Zschaler, Johann Bourcier	Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models.	J. Univers. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Yu-hong Guo	n-Color Odd Self-Inverse Compositions.	J. Integer Seq.	2014	DBLP BibTeX RDF
14	Daisuke Ikeda, Einoshin Suzuki	Finding peculiar compositions of two frequent strings with background texts.	Knowl. Inf. Syst.	2014	DBLP DOI BibTeX RDF
14	Arto Salomaa	Compositions of Reaction Systems.	J. Autom. Lang. Comb.	2014	DBLP DOI BibTeX RDF
14	Kanchana Rajaram, Chitra Babu	Deriving reliable compositions using cancelable web services.	ACM SIGSOFT Softw. Eng. Notes	2014	DBLP DOI BibTeX RDF
14	Angelo Furno, Eugenio Zimeo	Self-scaling cooperative discovery of service compositions in unstructured P2P networks.	J. Parallel Distributed Comput.	2014	DBLP DOI BibTeX RDF
14	Anne Immonen, Daniel Pakkala	A survey of methods and approaches for reliable dynamic service compositions.	Serv. Oriented Comput. Appl.	2014	DBLP DOI BibTeX RDF
14	Yanik Ngoko, Christophe Cérin, Alfredo Goldman	Graph reduction for QoS prediction of cloud-service compositions.	Int. J. Bus. Process. Integr. Manag.	2014	DBLP DOI BibTeX RDF
14	Marco Dalai	Constant Compositions in the Sphere Packing Bound for Classical-Quantum Channels.	CoRR	2014	DBLP BibTeX RDF
14	Ali Assem	On Symmetrized Weight Compositions.	CoRR	2014	DBLP BibTeX RDF
14	Xianjie Chen, Alan L. Yuille	Parsing Occluded People by Flexible Compositions.	CoRR	2014	DBLP BibTeX RDF
14	Jayadev Acharya, Hirakendu Das, Olgica Milenkovic, Alon Orlitsky, Shengjun Pan	String Reconstruction from Substring Compositions.	CoRR	2014	DBLP BibTeX RDF
14	Steffen Eger	Corrections to the results derived in "A Unified Approach to Algorithms Generating Unrestricted and Restricted Integer Compositions and Integer Partitions"'; and a comparison of four restricted integer composition generation algorithms.	CoRR	2014	DBLP BibTeX RDF
14	Kai Yang, Hongguang Zhang, Enhua Wang, Songsong Song, Chen Bei, Ying Chang, Hongjin Wang, Baofeng Yao	Study on Mixed Working Fluids with Different Compositions in Organic Rankine Cycle (ORC) Systems for Vehicle Diesel Engines.	Entropy	2014	DBLP DOI BibTeX RDF
14	Germán H. Alférez, Vicente Pelechano, Raúl Mazo, Camille Salinesi, Daniel Diaz 0001	Dynamic adaptation of service compositions with variability models.	J. Syst. Softw.	2014	DBLP DOI BibTeX RDF
14	Peter Borg	A short proof of an Erdős-Ko-Rado theorem for compositions.	Discret. Math.	2014	DBLP DOI BibTeX RDF
14	Markku Nurhonen, Kari Auranen	Optimal Serotype Compositions for Pneumococcal Conjugate Vaccination under Serotype Replacement.	PLoS Comput. Biol.	2014	DBLP DOI BibTeX RDF
14	Tzu-Chien Liu, Yi-Chun Lin, Fred Paas	Effects of prior knowledge on learning from different compositions of representations in a mobile learning environment.	Comput. Educ.	2014	DBLP DOI BibTeX RDF
14	Michele Bugliesi, Andrea Marin, Sabina Rossi	Model checking adaptive service compositions.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
14	Caroline Shapcott	An introduction to true palindromic compositions.	Australas. J Comb.	2014	DBLP BibTeX RDF
14	Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão	A holistic approach to model-based testing of Web service compositions.	Softw. Pract. Exp.	2014	DBLP DOI BibTeX RDF
14	Karim Benouaret, Djamal Benslimane, Allel Hadjali, Mahmoud Barhamgi, Zakaria Maamar, Quan Z. Sheng	Web Service Compositions with Fuzzy Preferences: A Graded Dominance Relationship-Based Approach.	ACM Trans. Internet Techn.	2014	DBLP DOI BibTeX RDF
14	Matjaz Konvalinka, Igor Pak	Cayley compositions, partitions, polytopes, and geometric bijections.	J. Comb. Theory, Ser. A	2014	DBLP DOI BibTeX RDF
14	Achim D. Brucker, Luca Compagna, Pierre Guilleminot	Compliance Validation of Secure Service Compositions.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
14	Achim D. Brucker	Using SecureBPMN for Modelling Security-Aware Service Compositions.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
14	Tuan Nguyen, Alan Colman, Jun Han 0004	Comprehensive Variability Modeling and Management for Customizable Process-Based Service Compositions.	Web Services Foundations	2014	DBLP DOI BibTeX RDF
14	Hong Zhu 0002, Yufeng Zhang 0001	A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions.	Advanced Web Services	2014	DBLP DOI BibTeX RDF
14	Johan De Praeter, Jan De Cock, Glenn Van Wallendael, Sebastiaan Van Leuven, Peter Lambert, Rik Van de Walle	Efficient transcoding for spatially misaligned compositions for HEVC.	ICIP	2014	DBLP DOI BibTeX RDF
14	Leonardo A. F. Leite, Carlos Eduardo Moreira Dos Santos, Daniel Cordeiro, Marco Aurélio Gerosa, Fabio Kon	Deploying Large-Scale Service Compositions on the Cloud with the CHOReOS Enactment Engine.	NCA	2014	DBLP DOI BibTeX RDF
14	Ahmed Kheldoun, Malika Ioualalen	Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions.	MODELSWARD	2014	DBLP DOI BibTeX RDF
14	Satoshi Toyosawa, Takashi Kawai	Measurement of perceived stereoscopic sensation through disparity metrics and compositions.	SD&A	2014	DBLP DOI BibTeX RDF
14	Scott Bourne, Claudia Szabo, Quan Z. Sheng	TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions.	ICSOC Workshops	2014	DBLP DOI BibTeX RDF
14	Dragan Ivanovic, Manuel Carro	Transforming Service Compositions into Cloud-Friendly Actor Networks.	ICSOC	2014	DBLP DOI BibTeX RDF
14	Karima Belgharbi, Mahmoud Boufaïda	A Context-Oriented Approach for the Adaptation of Service Compositions.	ICCASA	2014	DBLP BibTeX RDF
14	Antonia Estero-Botaro, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo	A Framework for Genetic Test-Case Generation for WS-BPEL Compositions.	ICTSS	2014	DBLP DOI BibTeX RDF
14	Felipe Pontes Guimarães	A fault-tolerant architecture for decentralized compositions of services in the wild.	SAC	2014	DBLP DOI BibTeX RDF
14	Attila Egri-Nagy, James D. Mitchell, Chrystopher L. Nehaniv	SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups.	ICMS	2014	DBLP DOI BibTeX RDF
14	Otto Hylli, Samuel Lahtinen, Anna Ruokonen, Kari Systä	Resource Description for End-User Driven Service Compositions.	SERVICES	2014	DBLP DOI BibTeX RDF
14	Perla Velasco Elizondo, David Barredo-Hernandez, Hugo A. Mitre-Hernández	Aggregate QoS Estimation of Service Compositions - An Analysis of Pattern-Oriented Approaches.	SERVICES	2014	DBLP DOI BibTeX RDF
14	Jayadev Acharya, Hirakendu Das, Olgica Milenkovic, Alon Orlitsky, Shengjun Pan	Quadratic-backtracking algorithm for string reconstruction from substring compositions.	ISIT	2014	DBLP DOI BibTeX RDF
14	Marco Dalai, Andreas J. Winter 0002	Constant compositions in the sphere packing bound for classical-quantum channels.	ISIT	2014	DBLP DOI BibTeX RDF
14	Medria K. D. Hardhienata, Kathryn E. Merrick, Valery A. Ugrinovskii	Effective motive profiles and swarm compositions for motivated particle swarm optimisation applied to task allocation.	CIHLI	2014	DBLP DOI BibTeX RDF
14	Cheikh Ba, Umberto Souza da Costa, Mírian Halfeld Ferrari, Rémy Ferré, Martin A. Musicante, Verónika Peralta, Sophie Robert 0001	Preference-driven Reﬁnement of Service Compositions.	CLOSER	2014	DBLP DOI BibTeX RDF
14	Luca Pino, George Spanoudakis, Andreas Fuchs 0002, Sigrid Gürgens	Discovering Secure Service Compositions.	CLOSER	2014	DBLP DOI BibTeX RDF
14	Luca Pino, George Spanoudakis, Andreas Fuchs 0002, Sigrid Gürgens	Generating Secure Service Compositions.	CLOSER (Selected Papers)	2014	DBLP DOI BibTeX RDF
14	Stefanie Rinderle-Ma, Paul W. P. J. Grefen	Towards Flexibility in Transactional Service Compositions.	ICWS	2014	DBLP DOI BibTeX RDF
14	Ahmed Moustafa, Minjie Zhang	Learning Efficient Compositions for QoS-Aware Service Provisioning.	ICWS	2014	DBLP DOI BibTeX RDF
14	Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu 0001, Rachida Dssouli	Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols.	ICWS	2014	DBLP DOI BibTeX RDF