Search results for "Composition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Zheng Lu 0001, Aditya Ghose, Peter Hyland, Ying Guan	Using Assumptions in Service Composition Context.	IEEE SCC	2006	DBLP DOI BibTeX RDF
18	Keita Fujii, Tatsuya Suda	Semantics-based dynamic service composition.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
18	Cunsheng Ding, Jin Yuan	A family of optimal constant-composition codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
18	Aleksandra Mojsilovic	A computational model for color naming and describing color composition of images.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
18	Jin Xiao, Raouf Boutaba	QoS-aware service composition in large scale multi-domain networks.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
18	Yuan Rao, Zunchao Li, Boqin Feng, Jincang Han	Architecture-Based Web Service Composition Framework and Strategy.	ECBS	2005	DBLP DOI BibTeX RDF
18	Daniel C. Bünzli, Sergio Mena, Uwe Nestmann	Protocol Composition Frameworks A Header-Driven Model.	NCA	2005	DBLP DOI BibTeX RDF
18	Marie-Christine Fauvet, Helga Duarte, Marlon Dumas, Boualem Benatallah	Handling Transactional Properties in Web Service Composition.	WISE	2005	DBLP DOI BibTeX RDF
18	Tsz-Chiu Au, Ugur Kuter, Dana S. Nau	Web Service Composition with Volatile Information.	ISWC	2005	DBLP DOI BibTeX RDF
18	Yiannis Cotronis, Paul Polydoras	Ensemble-2: Dynamic Composition of MPMD Programs.	PVM/MPI	2005	DBLP DOI BibTeX RDF
18	Jesús L. Alvaro, Eduardo Reck Miranda, Beatriz Barros	Music Knowledge Analysis: Towards an Efficient Representation for Composition.	CAEPIA	2005	DBLP DOI BibTeX RDF
18	Sibylle B. Fröschle	Composition and Decomposition in True-Concurrency.	FoSSaCS	2005	DBLP DOI BibTeX RDF
18	Michael C. Jaeger, Gero Mühl, Sebastian Golze	QoS-Aware Composition of Web Services: An Evaluation of Selection Algorithms.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF
18	Michael C. Jaeger, Gero Mühl, Sebastian Golze	QoS-Aware Composition of Web Services: A Look at Selection Algorithms.	ICWS	2005	DBLP DOI BibTeX RDF
18	Patrick Albert, Laurent Henocque, Mathias Kleiner	Configuration-Based Workflow Composition.	ICWS	2005	DBLP DOI BibTeX RDF
18	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone	Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning.	ESWC	2005	DBLP DOI BibTeX RDF
18	Paramai Supadulchai, Finn Arve Aagesen	A Framework for Dynamic Service Composition.	WOWMOM	2005	DBLP DOI BibTeX RDF
18	Manshan Lin, Heqing Guo, Jianfei Yin	Goal Description Language for Semantic Web Service Automatic Composition.	SAINT	2005	DBLP DOI BibTeX RDF
18	Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander	Verifiable composition of access control and application features.	SACMAT	2005	DBLP DOI BibTeX RDF	modeling, UML, verification, RBAC
18	Tal Hassner, Lihi Zelnik-Manor, George Leifman, Ronen Basri	Minimal-Cut Model Composition.	SMI	2005	DBLP DOI BibTeX RDF
18	Iria Estévez-Ayres, Marisol García-Valls, Pablo Basanta-Val	Static Composition of Service-Based Real-Time Applications.	SEUS	2005	DBLP DOI BibTeX RDF
18	Jianqiang Hu, Changguo Guo, Huaimin Wang, Peng Zou	Web Services Peer-to-Peer Discovery Service for Automated Web Service Composition.	ICCNMC	2005	DBLP DOI BibTeX RDF
18	Barbara Carminati, Elena Ferrari, Patrick C. K. Hung	Web Service Composition: A Security Perspective.	WIRI	2005	DBLP DOI BibTeX RDF
18	Michael O. Jewell, Lee Middleton, Mark S. Nixon, Adam Prügel-Bennett, Sylvia C. Wong	A Distributed Approach to Musical Composition.	KES (3)	2005	DBLP DOI BibTeX RDF
18	Zhijun Ding, Junli Wang, Changjun Jiang	Semantic Web Service Composition Based on OWL-S.	SKG	2005	DBLP DOI BibTeX RDF
18	Xun Liu, Yang Gao 0001, Dong Shao, Ruili Wang	Feedback based Dynamic Autonomous Web Service Composition.	SKG	2005	DBLP DOI BibTeX RDF
18	Hanhua Chen, Hai Jin 0001, Xiaoming Ning, Zhipeng Lu	Q-SAC: toward QoS optimized service automatic composition.	CCGRID	2005	DBLP DOI BibTeX RDF
18	Sheng Huang, Xiaoling Wang, Aoying Zhou	Efficient Web Service Composition Based on Syntactical Matching.	EEE	2005	DBLP DOI BibTeX RDF
18	Kelvin C. Wong, Anders I. Mørch, William K. Cheung 0001, Mason H. Lam, Janti P. Tang	A Critiquing System to Support English Composition through the Use of Latent Semantic Analysis.	EEE	2005	DBLP DOI BibTeX RDF
18	Alberto Martínez, Marta Patiño-Martínez, Ricardo Jiménez-Peris, Francisco Perez-Sorrosal	ZenFlow: A Visual Web Service Composition Tool for BPEL4WS.	VL/HCC	2005	DBLP DOI BibTeX RDF
18	Hwa-Young Jeong	A Connector Interaction for Software Component Composition with Message Central Processing.	GCC	2005	DBLP DOI BibTeX RDF
18	Zhonghua Yang, Jing-Bing Zhang, Jiao Tao, Robert K. L. Gay	Characterizing Services Composeability and OWL-S Based Services Composition.	GCC	2005	DBLP DOI BibTeX RDF
18	Zhuzhong Qian, Sanglu Lu, Li Xie 0001	Mobile-Agent-Based Web Service Composition.	GCC	2005	DBLP DOI BibTeX RDF
18	Michael Benedikt, Irini Fundulaki	XML Subtree Queries: Specification and Composition.	DBPL	2005	DBLP DOI BibTeX RDF
18	Jian Cao 0001, Jie Wang 0006, Shen-sheng Zhang, Minglu Li 0001	A Multi-agent Negotiation Based Service Composition Method for On-demand Service.	IEEE SCC	2005	DBLP DOI BibTeX RDF
18	Nikola Milanovic, Miroslaw Malek	Current Solutions for Web Service Composition.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF
18	Jing Dong 0005, Paulo S. C. Alencar, Donald D. Cowan	A behavioral analysis and verification approach to pattern-based design composition.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Design patterns, Software components, Software design, Software specification, Hypermedia systems
18	Michel Charpentier, K. Mani Chandy	Specification transformers: a predicate transformer approach to composition.	Acta Informatica	2004	DBLP DOI BibTeX RDF
18	Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman	Model Composition Directives.	UML	2004	DBLP DOI BibTeX RDF
18	Xiaochuan Yi, Krys J. Kochut	A CP-nets-based Design and Verification Framework for Web Services Composition.	ICWS	2004	DBLP DOI BibTeX RDF
18	Yongjie Zheng, Alvin T. S. Chan	Stream Composition for Highly Adaptive and Reconfigurable Mobile Middleware.	COMPSAC	2004	DBLP DOI BibTeX RDF
18	Jonghun Park	Towards the Automatic Composition of Co-Business Processes.	SAINT Workshops	2004	DBLP DOI BibTeX RDF
18	Soon Ae Chun, Yugyung Lee, James Geller	Ontological and Pragmatic Knowledge Management for Web Service Composition.	DASFAA	2004	DBLP DOI BibTeX RDF
18	ShuiGuang Deng, Zhaohui Wu 0001, Ying Li 0001	ASCEND: a framework for automatic service composition and execution in dynamic environment.	SMC (4)	2004	DBLP DOI BibTeX RDF
18	Nicolas Belloir, Fabien Romeo, Jean-Michel Bruel	Whole-Part based Composition Approach: A Case Study.	EUROMICRO	2004	DBLP DOI BibTeX RDF
18	Hamdan Msheik, Alain Abran, Eric Lefebvre	Compositional Structured Component Model: Handling Selective Functional Composition.	EUROMICRO	2004	DBLP DOI BibTeX RDF
18	Jian Sun 0010, Changjun Jiang	Web Service Composition Based on BPWS-Net.	AWCC	2004	DBLP DOI BibTeX RDF
18	Haitao Hu, Yanbo Han, Kui Huang, Gang Li, Zhuofeng Zhao	A Pattern-Based Approach to Facilitating Service Composition.	GCC Workshops	2004	DBLP DOI BibTeX RDF
18	Yu Tang 0014, Ning Jing	Research on System Architecture and Service Composition of Spatial Information Grid.	GCC Workshops	2004	DBLP DOI BibTeX RDF
18	Soon Ae Chun, Vijayalakshmi Atluri, Nabil R. Adam	Policy-Based Web Service Composition.	RIDE	2004	DBLP DOI BibTeX RDF
18	Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella	: A Tool for Automatic Composition ofServices Based on Logics of Programs.	TES	2004	DBLP DOI BibTeX RDF
18	Ismailcem Budak Arpinar, Boanerges Aleman-Meza, Ruoyan Zhang, Angela Maduko	Ontology-Driven Web Services Composition Platform.	CEC	2004	DBLP DOI BibTeX RDF
18	Jianhong Zhang, Shen-sheng Zhang, Jian Cao 0001, Yujie Mou	Improved HTN Planning Approach for Service Composition.	IEEE SCC	2004	DBLP DOI BibTeX RDF
18	Dipanjan Chakraborty 0001, Anupam Joshi	MobiCom poster: Anamika: distributed service composition architecture for pervasive environments.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF
18	Jian Yang 0001, Mike P. Papazoglou, Bart Orriëns, Willem-Jan van den Heuvel	A Rule Based Approach to the Service Composition Life-Cycle.	WISE	2003	DBLP DOI BibTeX RDF
18	Liming Chen 0001, Nigel Shadbolt, Carole A. Goble, Feng Tao 0001, Simon J. Cox, Colin Puleston, Paul R. Smart	Towards a Knowledge-Based Approach to Semantic Service Composition.	ISWC	2003	DBLP DOI BibTeX RDF
18	John Yiannis Cotronis	Application Composition in Ensemble Using Intercommunicators and Process Topologies.	PVM/MPI	2003	DBLP DOI BibTeX RDF
18	Razvan Diaconescu	Behavioural Specification for Hierarchical Object Composition.	FMCO	2003	DBLP DOI BibTeX RDF
18	Stavros Tripakis	Automated Module Composition.	TACAS	2003	DBLP DOI BibTeX RDF
18	Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede	Web Service Composition Languages: Old Wine in New Bottles?.	EUROMICRO	2003	DBLP DOI BibTeX RDF
18	Xiaohui Gu, Klara Nahrstedt, Rong N. Chang, Christopher Ward	QoS-Assured Service Composition in Managed Service Overlay Networks.	ICDCS	2003	DBLP DOI BibTeX RDF
18	Jun Peng, Jie Wang 0006	On-Demand Services Composition and Infrastructure Management.	GCC (1)	2003	DBLP DOI BibTeX RDF
18	Matthias Bossardt, Roman Hoog Antink, Andreas Moser, Bernhard Plattner	Chameleon: Realizing Automatic Service Composition for Extensible Active Routers.	IWAN	2003	DBLP DOI BibTeX RDF
18	Andreas Ulbrich, Torben Weis, Kurt Geihs	QoS Mechanism Composition at Design-Time and Runtime.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
18	Gregor Snelting, Frank Tip	Semantics-Based Composition of Class Hierarchies.	ECOOP	2002	DBLP DOI BibTeX RDF
18	Farhad Arbab, Farhad Mavaddat	Coordination through Channel Composition.	COORDINATION	2002	DBLP DOI BibTeX RDF
18	Chin-Feng Lin, Yeh-Ching Chung, Don-Lin Yang	TRLE - An Efficient Data Compression Scheme for Image Composition of Parallel Volume Rendering Systems.	CW	2002	DBLP DOI BibTeX RDF
18	Wim Vanderperren, Bart Wydaeghe	Towards a New Component Composition Process.	ECBS	2001	DBLP DOI BibTeX RDF
18	Hoijin Yoon, Byoungju Choi	An Effective Testing Technique for Component Composition in EJBs.	APSEC	2001	DBLP DOI BibTeX RDF
18	Kazuhiro Kiwata, Atsushi Nakano, Shunsuke Yura, Tomotaka Uchihashi, Atsushi Kanai	Scenario-Based Service Composition Method in the Open Service Environment.	ISADS	2001	DBLP DOI BibTeX RDF
18	Herbert Klaeren, Elke Pulvermüller, Awais Rashid, Andreas Speck	Aspect Composition Applying the Design by Contract Principle.	GCSE	2000	DBLP DOI BibTeX RDF
18	Jamal Malki, Laurent Mascarilla, El-Hadi Zahzah, Patrice Boursier	Directional Relations Composition by Orientation Histogram Fusion.	ICPR	2000	DBLP DOI BibTeX RDF
18	Jing Dong	A logical framework for design composition.	ICSE	2000	DBLP DOI BibTeX RDF	verification, formal methods, component-based software enginering, design components
18	Jieqing Feng, Qunsheng Peng 0001	B-Spline Free-Form Deformation of Polygonal Objects through Fast Functional Composition.	GMP	2000	DBLP DOI BibTeX RDF	B-spline, symbolic computation, Free-form deformation, polynomial interpolation
18	Mathis Löthe	Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style.	KI	1999	DBLP DOI BibTeX RDF
18	Laurence Melloul, Dorothea Beringer, Neal Sample, Gio Wiederhold	CPAM, A Protocol for Software Composition.	CAiSE	1999	DBLP DOI BibTeX RDF
18	Ransom Richardson, Joe Kilian	On the Concurrent Composition of Zero-Knowledge Proofs.	EUROCRYPT	1999	DBLP DOI BibTeX RDF	Asynchronous Attacks, Black-box Simulation, Zero Knowledge
18	Scott Johnson 0002, Farnam Jahanian, Jigney Shah	The Inter-group Router Approach to Scalable Group Composition.	ICDCS	1999	DBLP DOI BibTeX RDF	scalable multicast, ordering semantics, distributed systems, Group communication, fault-tolerant communication
18	Pietro Cenciarelli	An Algebraic View of Program Composition.	AMAST	1998	DBLP DOI BibTeX RDF
18	Gurdip Singh, I. Buricea, Zhenyu Mao	Composition of Service Specifications.	ICNP	1998	DBLP DOI BibTeX RDF
18	Mark R. Heckman, Karl N. Levitt	Applying the Composition Principle to Verify a Hierarchy of Security Servers.	HICSS (3)	1998	DBLP DOI BibTeX RDF
18	Wayne Liu, Stephen Mann	An Optimal Algorithm for Expanding the Composition of Polynomials.	ACM Trans. Graph.	1997	DBLP DOI BibTeX RDF	polynomial compostion, simplices, blossoming
18	Baher A. El-Geresy	The Space Algebra: Spatial Reasoning without Composition Tables.	ICTAI	1997	DBLP DOI BibTeX RDF	Knowledge Representation, Qualitative Reasoning, Reasoning Under Uncertainty
18	Maria C. F. Ferreira, Delia Kesner, Laurence Puel	Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization.	ALP	1996	DBLP DOI BibTeX RDF
18	Ramesh V. Peri, William A. Wulf, Darrell M. Kienzle	A Logic of Composition for Information Flow Predicates.	CSFW	1996	DBLP DOI BibTeX RDF
18	Olaf Burkart, Bernhard Steffen	Pushdown Processes: Parallel Composition and Model Checking.	CONCUR	1994	DBLP DOI BibTeX RDF
18	Tony DeRose, Ronald N. Goldman, Hans Hagen, Stephen Mann	Functional Composition Algorithms via Blossoming.	ACM Trans. Graph.	1993	DBLP DOI BibTeX RDF	Be´zier curves, tensor-product surface patches, triangular Be´zier surface patches, B-splines, free-form deformations, computer-aided geometric design
18	Pierre Collette	Application of the Composition Principle to Unity-like Specifications.	TAPSOFT	1993	DBLP DOI BibTeX RDF
18	Limor Fix, Nissim Francez, Orna Grumberg	Program Composition via Unification.	ICALP	1992	DBLP DOI BibTeX RDF
18	Ondrej Rysavý, Jaroslav Ráb	A formal model of composing components: the TLA+ approach.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications
18	Claudia Szabo, Yong Meng Teo	An Approach for Validation of Semantic Composability in Simulation Models.	PADS	2009	DBLP DOI BibTeX RDF	semantic composability, simulation, component, validation
18	Lianne Bodenstaff, Andreas Wombacher, Manfred Reichert, Michael C. Jaeger	Analyzing Impact Factors on Composite Services.	IEEE SCC	2009	DBLP DOI BibTeX RDF
18	Nadia Ranaldo, Giancarlo Tretola, Eugenio Zimeo	Scheduling ProActive activities with an XPDL-based workflow engine.	IPDPS	2008	DBLP DOI BibTeX RDF
18	Kerry L. Taylor, Paul Brebner, Michael Kearney, Dana Zhang, Kelly Lam, Vladimir Tosic	Towards Declarative Monitoring of Declarative Service Compositions.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
18	Vandana Gummuluru, Su-Shing Chen	An Intelligent System for Searching Genomic Sequences.	BIBE	2007	DBLP DOI BibTeX RDF
18	Jens Lemcke, Andreas Friesen	Composing Web-service-like Abstract State Machines (ASMs).	IEEE SCW	2007	DBLP DOI BibTeX RDF
18	Mathias Röhl, Adelinde M. Uhrmacher	Composing simulations from XML-specified model components.	WSC	2006	DBLP DOI BibTeX RDF
18	Jeyarajan Thiyagalingam, Vladimir Getov	A Metadata Extracting Tool for Software Components in Grid Applications.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
18	K. Vidyasankar, V. S. Ananthanarayana	Binding and Execution of Web Service Compositions.	WISE	2005	DBLP DOI BibTeX RDF
18	Anis Charfi, Mira Mezini	Using Aspects for Security Engineering of Web Service Compositions.	ICWS	2005	DBLP DOI BibTeX RDF