Search results for "co-composition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	Marcelo Arenas, Ronald Fagin, Alan Nash	Composition with target constraints.	ICDT	2010	DBLP DOI BibTeX RDF	target constraint, composition, data exchange, schema mapping, metadata management
66	Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit	A model for composable composition operators: expressing object and aspect compositions with first-class operators.	AOSD	2010	DBLP DOI BibTeX RDF
63	Freddy Lécué, Alexandre Delteil, Alain Léger	Towards the composition of stateful and independent semantic web services.	SAC	2008	DBLP DOI BibTeX RDF	web service, semantic web, composition, complexity results
58	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
58	Freddy Muñoz, Benoit Baudry	A Framework for Testing Model Composition Engines.	SC@TOOLS	2009	DBLP DOI BibTeX RDF	Model composition engines, Data synthesis, Software testing, Model composition
55	Wim Vanderperren, Davy Suvée, Bruno De Fraine, Viviane Jonckers	Aspect-oriented Component Composition in PacoSuite Through Invasive Composition Adapters.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
53	Yanlong Zhai, Hongyi Su, Shouyi Zhan	A Reflective Framework to Improve the Adaptability of BPEL-based Web Service Composition.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	web service, adaptability, composition, correctness
53	Kaijun Ren, Xiao Liu 0004, Jinjun Chen, Nong Xiao, Junqiang Song, Weimin Zhang	A QSQL-based Efficient Planning Algorithm for Fully-automated Service Composition in Dynamic Service Environments.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	QSQL, Petri net, planning, Automatic service composition
53	Jing Dong 0005, Paulo S. C. Alencar, Donald D. Cowan	Ensuring Structure and Behavior Correctness in Design Composition.	ECBS	2000	DBLP DOI BibTeX RDF	design composition, formal methods, design patterns, temporal logic, first-order logic, component-based software development, design components
51	Incheon Paik, Daisuke Maruyama	Automatic Web Services Composition Using Combining HTN and CSP.	CIT	2007	DBLP DOI BibTeX RDF
49	Keita Fujii, Tatsuya Suda	Dynamic service composition using santic information.	ICSOC	2004	DBLP DOI BibTeX RDF	SeGSeC, santic graph, CoRE, component model, dynamic service composition, CoSMoS
48	William H. Harrison, Harold Ossher, Peri L. Tarr	General Composition of Software Artifacts.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
47	Joseph Sifakis	A General Framework for the Composition of Timed Systems Extended Abstract.	FTRTFT	1998	DBLP DOI BibTeX RDF
45	Joanna Izabela Siebert, Jiannong Cao 0001, Long Cheng 0005, Edwin Wei, Canfeng Chen, Jian Ma 0001	Decentralized service composition in pervasive computing environments.	IWCMC	2010	DBLP DOI BibTeX RDF	localized interactions, service composition, decentralized control, pervasive computing environment
45	Dipanjan Chakraborty 0001, Anupam Joshi, Timothy W. Finin, Yelena Yesha	Service Composition for Mobile Environments.	Mob. Networks Appl.	2005	DBLP DOI BibTeX RDF	resource heterogeneity, mobility, service composition, service discovery, broker, DAML
45	Achim D. Brucker, Francesco Malmignati, Madjid Merabti, Qi Shi 0001, Bo Zhou 0001	The Aniketos Service Composition Framework - Analysing and Ranking of Secure Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
45	Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel	10191 Executive Summary - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond.	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond	2010	DBLP BibTeX RDF
45	Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel	Program Composition and Optimization: An Introduction.	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond	2010	DBLP BibTeX RDF
45	Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel	10191 Abstracts Collection - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond.	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond	2010	DBLP BibTeX RDF
44	Gary Benson	Composition Alignment.	WABI	2003	DBLP DOI BibTeX RDF
43	Yehuda Lindell	Lower Bounds and Impossibility Results for Concurrent Self Composition.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Self and general composition, Non-black-box and black-box simulation, Lower bounds, Secure computation, Protocol composition, Impossibility results
42	Younes Souissi, Gérard Memmi	Composition of nets via a communication medium.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Composition via shared places, separation line, composition via a sequential process, composition by rendez-vous, composition via a well-formed block, liveness, boundedness
42	Yanlong Zhai, Hongyi Su, Shouyi Zhan	A Reflective Framework to Support Adaptive Service Composition under Correctness Constrains.	ICIW	2008	DBLP DOI BibTeX RDF	adaptive composition, web service, reflection, correctness, data flow analysis
42	Eunjoo Lee, Byungjeong Lee	An Agent-Based Web Service Composition Using Semantic Information and QoS.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	composition framework, QoS, Web service, agent
42	Anis Charfi, Mira Mezini	Hybrid web service composition: business processes meet business rules.	ICSOC	2004	DBLP DOI BibTeX RDF	aspect-oriented programming, modularity, web service composition, business rules
42	Shigeki Amitani, Koichi Hori	Supporting musical composition by externalizing the composer's mental space.	Creativity & Cognition	2002	DBLP DOI BibTeX RDF	mental space, cognitive process, externalization, musical composition, spatial representation, creativity support
41	Rubén Hinojosa Chapel	Some Projects and Re.ections on Algorithmic Music.	CMMR	2003	DBLP DOI BibTeX RDF	Real-Time Composition, Computer Aided Composition, Algorithmic Music, Virtual Instruments, Algorithmic Composition, Interactive Music Systems
40	Marco Pistore, Pierluigi Roberti, Paolo Traverso	Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition.	ESWC	2005	DBLP DOI BibTeX RDF
40	Dennis Wagelaar	Composition Techniques for Rule-Based Model Transformation Languages.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
40	Naiwen Lin, Ugur Kuter, Evren Sirin	Web Service Composition with User Preferences.	ESWC	2008	DBLP DOI BibTeX RDF
40	Xiaofeng Zhou, Yingchi Mao	Extended Directional Graph Based Description Approach on Web Service Composition Relationship.	CSSE (2)	2008	DBLP DOI BibTeX RDF
40	Jiehan Zhou, Daniel Pakkala, Juho Perälä, Eila Niemelä	Dependency-aware Service Oriented Architecture and Service Composition.	ICWS	2007	DBLP DOI BibTeX RDF
40	Muhammad Ahtisham Aslam, Jun Shen 0001, Sören Auer, Michael Herrmann 0001	An Integration Life Cycle for Semantic Web Services Composition.	CSCWD	2007	DBLP DOI BibTeX RDF
40	Ahlem Ben Hassine, Shigeo Matsubara, Toru Ishida 0001	A Constraint-Based Approach to Horizontal Web Service Composition.	ISWC	2006	DBLP DOI BibTeX RDF
40	Jochen Renz, Gérard Ligozat	Weak Composition for Qualitative Spatial and Temporal Reasoning.	CP	2005	DBLP DOI BibTeX RDF
40	Wim Vanderperren, Davy Suvée, Bart Wydaeghe, Viviane Jonckers	PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features.	FASE	2003	DBLP DOI BibTeX RDF
38	Benjamin Caramel, Cédric Joffroy, Michael Laguerre	De la composition de services à la composition d'interfaces homme-machine.	IHM	2009	DBLP DOI BibTeX RDF	user interface, composition, metamodeling
38	Jendrik Johannes, Roland Samlaus, Mirko Seifert	Round-Trip Support for Invasive Software Composition Systems.	SC@TOOLS	2009	DBLP DOI BibTeX RDF	Invasive Software Composition, Traceability, Round-trip Engineering
38	Andreas Ingmar Schmied, Franz J. Hauck	Practical Conflict Resolution for the Composition of Program Transformations.	SC@ETAPS	2008	DBLP DOI BibTeX RDF	Conflict Resolution, Software Composition, Software Transformation, Transformation Language
38	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework.	SSS	2006	DBLP DOI BibTeX RDF	Composition, Self-stabilization, Minimum Spanning Tree, Median, Fault-containment
38	Jon Oldevik, Massimiliano Menarini, Ingolf Krüger	Model Composition Contracts.	MoDELS	2009	DBLP DOI BibTeX RDF	aspect-oriented development, design by contract, Model composition
38	Jun Qin, Thomas Fahringer, Radu Prodan	A novel graph based approach for automatic composition of high quality grid workflows.	HPDC	2009	DBLP DOI BibTeX RDF	automatic workflow composition, workflow synthesis, grid computing, grid workflow
38	Liangzhao Zeng, Anne H. H. Ngu, Boualem Benatallah, Rodion M. Podorozhny, Hui Lei 0001	Dynamic composition and optimization of Web services.	Distributed Parallel Databases	2008	DBLP DOI BibTeX RDF	Rule inference, Service optimization, QoS, Web services, Service composition
38	Sorin M. Iacob, João Paulo A. Almeida, Maria-Eugenia Iacob	Optimized dynamic semantic composition of services.	SAC	2008	DBLP DOI BibTeX RDF	context-awareness, services, service composition, semantic similarity, domain ontology
38	Gabriela Vulcu, Sami Bhiri, Manfred Hauswirth, ZhangBing Zhou	A User-Centric Service Composition Approach.	OTM Workshops	2008	DBLP DOI BibTeX RDF	service capability, user-centric programming, service composition, workflow patterns
38	Ioan Salomie, Viorica R. Chifu, Ioana Harsa	Towards automated web service composition with fluent calculus and domain ontologies.	iiWAS	2008	DBLP DOI BibTeX RDF	fluent calculus, fluent calculus based planning, ontologies, web service composition
38	Mazen Malek Shiaa, Jan Ove Fladmark, Benoit Thiell	An Incremental Graph-based Approach to Automatic Service Composition.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Web services, graph algorithm, Telecommunication services, Automatic Service Composition
38	Ruzanna Chitchyan, Awais Rashid, Paul Rayson, Robert Waters	Semantics-based composition for aspect-oriented requirements engineering.	AOSD	2007	DBLP DOI BibTeX RDF	expressive pointcuts, requirements composition, natural language processing, aspect-oriented requirements engineering
38	Jin Liang, Klara Nahrstedt	Service composition for generic service graphs.	Multim. Syst.	2006	DBLP DOI BibTeX RDF	Simulation, Quality of service (QoS), Algorithm, Service composition
38	Freddy Lécué, Alain Léger	A Formal Model for Semantic Web Service Composition.	ISWC	2006	DBLP DOI BibTeX RDF	Automated composition, Web service, Semantic Web, Automated reasoning, AI planning
38	Troy A. Johnson, Rudolf Eigenmann	Context-sensitive domain-independent algorithm composition and selection.	PLDI	2006	DBLP DOI BibTeX RDF	bioinformatics, domain-specific languages, automated planning, algorithm selection, algorithm composition
38	Fen Lin, Lirong Qiu, He Huang, Qing Yu, Zhongzhi Shi	Description Logic Based Composition of Web Services.	PRIMA	2006	DBLP DOI BibTeX RDF	Semantic Web Services(SWS), Web Services Composition (WSC), Description Logic(DL)
38	Weihua Zhu, Zhihui Du, Suihui Zhu	Dynamic Service Composition Based on Peer-to-Peer Network.	SOSE	2006	DBLP DOI BibTeX RDF	Service oriented architecture, Service composition, Peer-to-Peer network, Composite service
38	Eyal Kushilevitz, Yehuda Lindell, Tal Rabin	Information-theoretically secure protocols and security under composition.	STOC	2006	DBLP DOI BibTeX RDF	theory of cryptography, information-theoretic security, secure computation, protocol composition
38	Ali Arsanjani, Francisco Curbera, Nirmal Mukhi	Manners Externalize Semantics for On-demand Composition of Context-aware Services.	ICWS	2004	DBLP DOI BibTeX RDF	Grammar-oriented object design, context-aware components, on-demand computing, dynamically reconfigurable software architecture, service-oriented architecture, service composition, component-based software engineering, Manners
38	Martin von Mohrenschildt	Algebraic Composition of Function Tables.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Composition of algebraic functions, Conditional expressions, Tabular expressions
38	Yao-Nan Lien, Chih-Lin Hu	Composition can be Faster than Join.	COMPSAC	1997	DBLP DOI BibTeX RDF	Database, composition, join, duplicate elimination
38	Eduard C. Dragut, Ramon Lawrence	Reducing the Cost of Validating Mapping Compositions by Exploiting Semantic Relationships.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF	semantics, metadata, integration, composition, mapping, model management
38	Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta	Safe compositional specification of networking systems.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF	QoS theory, service composition, type systems, control theory
38	Per Håkon Meland, Erkuden Rios, Vasilis Tountopoulos, Achim D. Brucker	The Aniketos Platform.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Elda Paja, Fabiano Dalpiaz, Paolo Giorgini	The Socio-technical Security Requirements Modelling Language for Secure Composite Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Achim D. Brucker, Luca Compagna, Pierre Guilleminot	Compliance Validation of Secure Service Compositions.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Elke Beck, Sandra Trösterer, Alexander G. Mirnig, Manfred Tscheligi	Characteristics and Addressed Challenges in Evaluating the Aniketos Project Outcome.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Per Håkon Meland, Muhammad Asim 0001, Dhouha Ayed, Fabiano Dalpiaz, Edith Felix, Paolo Giorgini, Susana Gonzáles, Brett Lempereur, John Ronan	Security and Trustworthiness Threats to Composite Services: Taxonomy, Countermeasures, and Research Directions.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Achim D. Brucker	Using SecureBPMN for Modelling Security-Aware Service Compositions.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Per Håkon Meland	Composite Services with Dynamic Behaviour.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Hisain Elshaafi, Jimmy McGibney, Dmitri Botvich	Aggregation and Optimisation of Trustworthiness of Composite Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Konstantinos Giannakakis	Adopting Existing Communication Platforms for Security Enabling Technologies.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Vasilis Tountopoulos, Ira Giannakoudaki, Konstantinos Giannakakis, Lefteris Korres, Leonidas Kallipolitis	Supporting Security and Trust in Complex e-Government Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Muhammad Asim 0001, Artsiom Yautsiukhin, Achim D. Brucker, Brett Lempereur, Qi Shi 0001	Security Policy Monitoring of Composite Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Erkuden Rios, Francesco Malmignati, Eider Iturbe, Michela D'Errico, Mattia Salnitri	From Consumer Requirements to Policies in Secure Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Stéphane Paul, Alessandra Tedeschi, Erlend Andreas Gjære, Ivonne A. Herrera	The Aniketos Design-Time Framework Applied - A Case in Air Traffic Management.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Elda Paja, Mauro Poggianella, Fabiano Dalpiaz, Pierluigi Roberti, Paolo Giorgini	Security Requirements Engineering with STS-Tool.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Brett Lempereur, Dhouha Ayed, Muhammad Asim 0001, Madjid Merabti, Qi Shi 0001	Monitoring Threats to Composite Services within the Aniketos Run-Time Framework.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
38	Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel (eds.)	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond	2010	DBLP BibTeX RDF
37	In-Gyu Kim, Tegegne Marew, Doo-Hwan Bae, Jang-Eui Hong, Sang-Yoon Min	Dimensions of Composition Models for Supporting Software Evolution.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
37	Bart Wydaeghe, Wim Vanderperren	Visual Component Composition Using Composition Patterns.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
37	Xianwen Fang, Changjun Jiang, Xiaoqin Fan	Independent global constraints for web service composition based on GA and APN.	GEC Summit	2009	DBLP DOI BibTeX RDF	associate petri net(apn)
37	Gexin Li, Haijiang Hai, Zhiwen Hu	A Flexible Framework for Semi-automatic Web Services Composition.	APSCC	2008	DBLP DOI BibTeX RDF
37	Zhengdong Zhu, Xuehan Dong, Yahong Hu, Weiguo Wu, Zengzhi Li	A Minimum Coverage Dynamic Adaptive Method for Concurrent Web Service Composition.	APSCC	2008	DBLP DOI BibTeX RDF
37	Cyril Allauzen, Mehryar Mohri	3-Way Composition of Weighted Finite-State Transducers.	CIAA	2008	DBLP DOI BibTeX RDF
37	Soo Ho Chang, Hyun Jung La, Jeong Seop Bae, Won Young Jeon, Soo Dong Kim	Design of a Dynamic Composition Handler for ESB-based Services.	ICEBE	2007	DBLP DOI BibTeX RDF
37	Naiwen Lin, Ugur Kuter, James A. Hendler	Web Service Composition via Problem Decomposition Across Multiple Ontologies.	IEEE SCW	2007	DBLP DOI BibTeX RDF
37	Mathieu Braem, Niels Joncheere, Wim Vanderperren, Ragnhild Van Der Straeten, Viviane Jonckers	Guiding Service Composition in a Visual Service Creation Environment.	ECOWS	2006	DBLP DOI BibTeX RDF
37	Xiaoqin Xie, Kaiyun Chen, Juan-Zi Li	A Composition Oriented and Graph-Based Service Search Method.	ASWC	2006	DBLP DOI BibTeX RDF
37	Qiong Liu 0003, Xiaojin Shi, Don Kimber, Frank Zhao, Frank Raab	An Online Video Composition System.	ICME	2005	DBLP DOI BibTeX RDF
37	Xiaohui Gu, Philip S. Yu, Klara Nahrstedt	Optimal Component Composition for Scalable Stream Processing.	ICDCS	2005	DBLP DOI BibTeX RDF
37	Jong Woo Kim, Radhika Jain	Web Services Composition with Traceability Centered on Dependency.	HICSS	2005	DBLP DOI BibTeX RDF
37	Eric Pardede, J. Wenny Rahayu, David Taniar	Preserving Composition in XML Object Relational Storage.	AINA	2005	DBLP DOI BibTeX RDF
37	Xiaohui Gu, Klara Nahrstedt, Bin Yu 0010	SpiderNet: An Integrated Peer-to-Peer Service Composition Framework.	HPDC	2004	DBLP DOI BibTeX RDF
37	Qing Zhang, Huiqiong Chen, Yijun Yu, Zhipeng Xie, Baile Shi	Dynamically Self-Organized Service Composition in Wireless Ad Hoc Networks.	TES	2004	DBLP DOI BibTeX RDF
36	Rafael Fernández, David Lizcano, Sebastian Ortega, Javier Soriano 0001	Towards a user-centered composition system for service-based composite applications.	iiWAS	2009	DBLP DOI BibTeX RDF	composition languages, composition techniques, service front-ends, user-centered service oriented architectures, component models, composite applications
36	Hans Albrecht Schmid	Service Congestion: The Problem, and an Optimized Service Composition Architecture as a Solution.	ICWS	2006	DBLP DOI BibTeX RDF	service congestion, optimized service composition architecture, Web service invocation overhead, Web service, performance, SOA, component, throughput, service composition, response time, connector
34	Lorenzo Bettini, Viviana Bono, Erica Turin	I-Java: An Extension of Java with Incomplete Objects and Object Composition.	SC@TOOLS	2009	DBLP DOI BibTeX RDF	Class-based languages, Java, Object-oriented programming, Language extension, Object composition
34	Kleinner Farias, Alessandro Garcia 0001, Jon Whittle 0001	Assessing the impact of aspects on model composition effort.	AOSD	2010	DBLP DOI BibTeX RDF	software architecture, empirical studies, software metrics, software product lines, model composition
34	Yehuda Lindell	General Composition and Universal Composability in Secure Multiparty Computation.	J. Cryptol.	2009	DBLP DOI BibTeX RDF	Concurrent general composition, Universal composability, Secure computation
34	Chao Li, Qiang Li, San Ling	On the constructions of constant-composition codes from perfect nonlinear functions.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	constant-composition codes, perfect nonlinear functions, quadratic forms
34	Min Gao 0001, Zhongfu Wu	EPN-Based Web Service Composition Approach.	WISM	2009	DBLP DOI BibTeX RDF	Web Services, SOA, Petri Net, Web Service Composition
34	Eric Bouillet, Mark Feblowitz, Zhen Liu 0001, Anand Ranganathan, Anton Riabov	A tag-based approach for the design and composition of information processing applications.	OOPSLA	2008	DBLP DOI BibTeX RDF	automated application assembly, programmable web, tag-based component description, composition, tag cloud, component reuse, faceted navigation
34	Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden	A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems.	PerCom	2008	DBLP DOI BibTeX RDF	Multi-agent system, metadata, protocol composition