Search results for "compositions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi, Sam Guinea	A framework for the deployment of adaptable web service compositions.	Serv. Oriented Comput. Appl.	2007	DBLP DOI BibTeX RDF	Distributed registries, Web services, Monitoring, BPEL, Dynamic compositions
67	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	THROWS: An Architecture for Highly Available Distributed Execution of Web Services Compositions.	RIDE	2004	DBLP DOI BibTeX RDF
67	Leonid A. Kalinichenko	Compositional Specification Calculus for Information Systems Development.	ADBIS	1999	DBLP DOI BibTeX RDF	compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development
58	Ronan Barrett, Lucian M. Patcas, Claus Pahl, John Murphy 0001	Model driven distribution pattern design for dynamic web service compositions.	ICWE	2006	DBLP DOI BibTeX RDF	decentralisation, distribution patterns, mda, web services, compositions
52	Christian A. Schneider, Frederic Stumpf, Claudia Eckert 0001	Enhancing Control of Service Compositions in Service-Oriented Architectures.	ARES	2009	DBLP DOI BibTeX RDF
52	Meiko Jensen	A Fault Propagation Approach for Highly Distributed Service Compositions.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Web Services, service composition, exception handling, fault handling
52	Xuan Thang Nguyen, Ryszard Kowalczyk, Jun Han 0004	Using Dynamic Asynchronous Aggregate Search for Quality Guarantees of Multiple Web Services Compositions.	ICSOC	2006	DBLP DOI BibTeX RDF
52	Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury	Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN.	ICNP	2003	DBLP DOI BibTeX RDF
50	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	LTSA-WS: a tool for model-based verification of web service compositions and choreography.	ICSE	2006	DBLP DOI BibTeX RDF	model-checking, web service compositions, choreography, BPEL4WS, WS-CDL
50	Alioune Ngom, Corina Reischer, Ivan Stojmenovic	Classification of Functions and Enumeration of Bases of Set Logic under Boolean Compositions.	ISMVL	1995	DBLP DOI BibTeX RDF	set logic bases enumeration, functions classification, Boolean compositions, r-valued set logic, n-tuples, B-maximal sets, set logic, one-place example function, one-place set logic functions, B-Sheffer functions, Boolean functions, Boolean functions, set theory, multivalued logic
46	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
44	Stefanie Rinderle-Ma, Manfred Reichert, Martin Jurisch	Equivalence of Web Services in Process-Aware Service Compositions.	ICWS	2009	DBLP DOI BibTeX RDF
44	Ruzanna Chitchyan, Phil Greenwood, Américo Sampaio, Awais Rashid, Alessandro F. Garcia 0001, Lyrene Fernandes da Silva	Semantic vs. syntactic compositions in aspect-oriented requirements engineering: an empirical study.	AOSD	2009	DBLP DOI BibTeX RDF	aspect-oriented composition specification, requirements metrics, evaluation, aspect-oriented requirements engineering
44	Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini	Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
44	Guilan Dai, Rujuan Liu, Chongchong Zhao, Changjun Hu	Timing Constraints Specification and Verification for Web Service Compositions.	APSCC	2008	DBLP DOI BibTeX RDF
44	Marijn Janssen, Ralph Feenstra	Socio-technical design of service compositions: a coordination view.	ICEGOV	2008	DBLP DOI BibTeX RDF	public service networks, socio-technical design, web services, service oriented architectures, coordination, e-government, service composition
44	Carlos Granell, Michael Gould, Dolores María Llidó, Rafael Berlanga Llavori	A model-driven approach for reusing service compositions.	EATIS	2007	DBLP DOI BibTeX RDF
44	Michael C. Jaeger	Modelling of Service Compositions: Relations to Business Process and Workflow Modelling.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF
44	Abdelkarim Erradi, Piyush Maheshwari, Vladimir Tosic	Policy-Driven Middleware for Self-adaptation of Web Services Compositions.	Middleware	2006	DBLP DOI BibTeX RDF	Web services middleware, policy-based management and adaptation, Web services composition, Microsoft .NET
44	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Leveraging Eclipse for integrated model-based engineering of web service compositions.	eTX	2005	DBLP DOI BibTeX RDF	web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in
44	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	A Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions.	PRDC	2005	DBLP DOI BibTeX RDF
42	Tomoyuki Aotani, Hidehiko Masuhara	Towards a type system for detecting never-matching pointcut compositions.	FOAL	2007	DBLP DOI BibTeX RDF	AOP, compositions, records, pointcut
42	Alioune Ngom, Corina Reischer, Dan A. Simovici, Ivan Stojmenovic	Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection.	ISMVL	1997	DBLP DOI BibTeX RDF	completeness criteria, set-valued logic, Boolean completeness problems, r-valued set logic, logic of functions, n-tuples, set logic circuits, S-complete, U-maximal sets, completeness criterion, U functions, compositions, Boolean functions, Boolean functions, intersection, union
38	Nathan Weston, Ruzanna Chitchyan, Awais Rashid	Formal semantic conflict detection in aspect-oriented requirements.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Semantic composition, Formal methods, Requirements engineering, Conflict detection, Predicate logic, Aspect-oriented requirements engineering
38	David Ortega-Pacheco, Hiram Calvo	Automatic Polyphonic Music Composition Using the EMILE and ABL Grammar Inductors.	CIARP	2008	DBLP DOI BibTeX RDF	Automatic Music Composition, EMILE Grammar Inductor, ABL Grammar Inductor, M-Grams, TF.IDF weighting, Grammar Induction
38	Björn Ommer, Joachim M. Buhmann	Learning Compositional Categorization Models.	ECCV (3)	2006	DBLP DOI BibTeX RDF
38	Jun Munemori, K. Yagishita, M. Sudo	Evaluation of an idea generation method and its supporting groupware.	KES	1999	DBLP DOI BibTeX RDF
37	Daisuke Ikeda, Einoshin Suzuki	Mining Peculiar Compositions of Frequent Substrings from Sparse Text Data Using Background Texts.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF
37	Nikolay Mehandjiev, Freddy Lécué, Usman Wajid	Provider-Composer Negotiations for Semantic Robustness in Service Compositions.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF	semantic robustness, template-based composition, negotiation, service composition, autonomic agents, semantic services
37	Chang-Ai Sun, Marco Aiello 0001	Towards Variable Service Compositions Using VxBPEL.	ICSR	2008	DBLP DOI BibTeX RDF
37	Farzad Mahdikhani, Mahmoud Reza Hashemi, Marjan Sirjani	QoS Aspects in Web Services Compositions.	SOSE	2008	DBLP DOI BibTeX RDF
37	Gui-ying Chen	Convergence of Powers of a Matrix over Distributive Lattice Under the .-+ Compositions.	FSKD (1)	2008	DBLP DOI BibTeX RDF
37	H. Foster	Service Compositions: From Models to Self-Management.	EDOC	2008	DBLP DOI BibTeX RDF
37	Nuno Laranjeiro, Marco Vieira	Towards fault tolerance in web services compositions.	EFTS	2007	DBLP DOI BibTeX RDF	web services, fault tolerance, composition, diversity
37	Mariusz Momotko, Michal Gajewski, André Ludwig, Ryszard Kowalczyk, Marek Kowalkiewicz, Jian Ying Zhang	Towards Adaptive Management of QoS-Aware Service Compositions - Functional Architecture.	ICSOC	2006	DBLP DOI BibTeX RDF
37	José García-Fanjul, Claudio de la Riva, Javier Tuya	Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking.	TAIC PART	2006	DBLP DOI BibTeX RDF
37	Albert Cohen 0001, Marc Sigler, Sylvain Girbal, Olivier Temam, David Parello, Nicolas Vasilache	Facilitating the search for compositions of program transformations.	ICS	2005	DBLP DOI BibTeX RDF
37	Hardi Hungar	Local Model Checking for Parallel Compositions of Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
36	Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	Evaluations on Classified Selection of Dense Vectors for Vegetable Geographical Origin Identification System Using Trace Elements.	NBiS	2007	DBLP DOI BibTeX RDF	Geographical origin identification by trace element compositions, efficient retrieval of dense vector
36	Li Guo 0003, William Y. Sit	Enumeration of Rota-Baxter words.	ISSAC	2006	DBLP DOI BibTeX RDF	Rota-Baxter algebras, Rota-Baxter words, catalan numbers, compositions, generating functions
36	Sami Bhiri, Khaled Gaaloul, Olivier Perrin 0001, Claude Godart	Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web Services.	Business Process Management	2005	DBLP DOI BibTeX RDF	transactional processing, Web services compositions, Workflow patterns
35	Sami Bhiri, Claude Godart, Olivier Perrin 0001	Transactional patterns for reliable web services compositions.	ICWE	2006	DBLP DOI BibTeX RDF	reliability, transactional processing, web services compositions, workflow patterns
31	Greg Freeman, Don S. Batory, R. Greg Lavender	Lifting Transformational Models of Product Lines: A Case Study.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF	transformation reuse, highlevel transformations, code generation, features, product-lines, model composition
31	Alex Bean, Sabina Siddiqi, Anila Chowdhury, Billy Whited, Orit Shaer, Robert J. K. Jacob	Marble track audio manipulator (MTAM): a tangible user interface for audio composition.	TEI	2008	DBLP DOI BibTeX RDF	augmented construction kit, children, tangible user interface, music
31	Ana L. Milanova	Composition inference for UML class diagrams.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Algorithms, UML, Reverse engineering, Points-to analysis, Ownership
31	Chunyang Ye, S. C. Cheung 0001, W. K. Chan 0001, Chang Xu 0001	Detection and resolution of atomicity violation in service composition.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	web services, atomicity, implicit interaction, behavior constraint
31	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	Reliability and Performance Estimation for Enriched WS-SAGAS.	WIRI	2005	DBLP DOI BibTeX RDF
31	Vladimir Tosic, Bernard Pagurek	On Comprehensive Contractual Descriptions of Web Services.	EEE	2005	DBLP DOI BibTeX RDF
31	Ana L. Milanova	Precise identification of composition relationships for UML class diagrams.	ASE	2005	DBLP DOI BibTeX RDF	UML, reverse engineering, points-to analysis, ownership
31	Alexander Scivos, Bernhard Nebel	The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
31	Ivica Crnkovic, Magnus Larsson, Otto Preiss	Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes.	WADS	2004	DBLP DOI BibTeX RDF
29	Sharon Paradesi, Prashant Doshi, Sonu Swaika	Integrating Behavioral Trust in Web Service Compositions.	ICWS	2009	DBLP DOI BibTeX RDF
29	Hongyu Sun 0001, Robyn R. Lutz, Samik Basu 0001	Product-line-based requirements customization for web service compositions.	SPLC	2009	DBLP BibTeX RDF
29	Wei Song 0003, Xiaoxing Ma, S. C. Cheung 0001, Wanchun Dou, Jian Lu 0001	A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.	IEEE SCC	2009	DBLP DOI BibTeX RDF
29	Christof Momm, I. P. Hallerbach, Sebastian Abeck, Christoph Rathfelder	Manageability design for an autonomic management of semi-dynamic web service compositions.	NOMS	2008	DBLP DOI BibTeX RDF
29	Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli	Quality Prediction of Service Compositions through Probabilistic Model Checking.	QoSA	2008	DBLP DOI BibTeX RDF
29	Michael Menzel 0001, Christian Wolter, Christoph Meinel	Towards the Aggregation of Security Requirements in Cross-Organisational Service Compositions.	BIS	2008	DBLP DOI BibTeX RDF	Security, SOA, Service Composition, Security Policy
29	Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong	A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.	COMPSAC	2008	DBLP DOI BibTeX RDF
29	Diego Zuquim Guimarães Garcia, Maria Beatriz Felgar de Toledo	Quality of Service Management for Web Service Compositions.	CSE	2008	DBLP DOI BibTeX RDF	Quality of Service, Web service, service composition
29	Chien-Hung Liu, Shu-Ling Chen, Xue-Yuan Li	A WS-BPEL Based Structural Testing Approach for Web Service Compositions.	SOSE	2008	DBLP DOI BibTeX RDF
29	Howard Foster, Philip Mayer	Leveraging Integrated Tools for Model-Based Analysis of Service Compositions.	ICIW	2008	DBLP DOI BibTeX RDF	Model-Based Verification, Modelling, SOA, Validation, Tools, Services, Eclipse
29	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
29	Daniel Lübke	Unit Testing BPEL Compositions.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
29	Fabien Baligand, Nicolas Rivierre, Thomas Ledoux	A Declarative Approach for QoS-Aware Web Service Compositions.	ICSOC	2007	DBLP DOI BibTeX RDF
29	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
29	Mudhakar Srivatsa, Arun Iyengar, Thomas A. Mikalsen, Isabelle Rouvellou, Jian Yin 0002	An Access Control System for Web Service Compositions.	ICWS	2007	DBLP DOI BibTeX RDF
29	Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	Massive Data Input System for Geographical Origin Identification System of Vegetables Using Trace Element Compositions.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
29	Karen Walzer, Jürgen Anke, Alexander Löser, Huaigu Wu	A Concept for Flexible Event-Driven Invocation of Distributed Service Compositions.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
29	Jing Dong 0005, Tu Peng, Yajing Zhao	Model Checking Security Pattern Compositions.	QSIC	2007	DBLP DOI BibTeX RDF
29	Harald Meyer	On the Semantics of Service Compositions.	RR	2007	DBLP DOI BibTeX RDF
29	Nirmit Desai, Zhengang Cheng, Amit K. Chopra, Munindar P. Singh	Toward verification of commitment protocols and their compositions.	AAMAS	2007	DBLP DOI BibTeX RDF
29	Andruid Kerne, Eunyee Koh, Blake Dworaczyk, J. Michael Mistrot, Hyun Choi, Steven M. Smith, Ross Graeber, Daniel Caruso, Andrew M. Webb, Rodney Hill, Joel Albea	combinFormation: a mixed-initiative system for representing collections as compositions of image and text surrogates.	JCDL	2006	DBLP DOI BibTeX RDF	collections, information discovery, mixed-initiative systems
29	Raman Kazhamiakin, Marco Pistore, Luca Santuari	Analysis of communication models in web service compositions.	WWW	2006	DBLP DOI BibTeX RDF	formal verification, BPEL, web service composition, asynchronous communications
29	Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore	Timed Modelling and Analysis in Web Service Compositions.	ARES	2006	DBLP DOI BibTeX RDF
29	Raman Kazhamiakin, Marco Pistore	Static Verification of Control and Data inWeb Service Compositions.	ICWS	2006	DBLP DOI BibTeX RDF
29	Yuya Takabayashi, Harutaka Niwa, Mitsuharu Taneda, Naoki Fukuta, Takahira Yamaguchi	Managing Many Web Service Compositions by Task Decomposition and Service Quality Evaluation.	PAKM	2006	DBLP DOI BibTeX RDF
29	Anis Charfi, Mira Mezini	Middleware services for web service compositions.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	middleware, BPEL, web service composition
29	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Tool Support for Model-Based Engineering of Web Service Compositions.	ICWS	2005	DBLP DOI BibTeX RDF
29	Anis Charfi, Mira Mezini	Using Aspects for Security Engineering of Web Service Compositions.	ICWS	2005	DBLP DOI BibTeX RDF
29	Michael C. Jaeger, Gregor Rojec-Goldmann	SENECA - Simulation of Algorithms for the Selection of Web Services for Compositions.	TES	2005	DBLP DOI BibTeX RDF
29	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu	Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.	IEEE SCC	2005	DBLP DOI BibTeX RDF
29	Evgeni M. Eskenazi, Alexandre V. Fioukov, Dieter K. Hammer	Performance Prediction for Component Compositions.	CBSE	2004	DBLP DOI BibTeX RDF
29	Johann Oberleitner, Schahram Dustdar	Constructing Web Services out of Generic Component Compositions.	ICWS-Europe	2003	DBLP DOI BibTeX RDF	components, composition, component models, interactive testing
29	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Model-based Verification of Web Service Compositions.	ASE	2003	DBLP DOI BibTeX RDF
29	Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso	Building Reliable Web Services Compositions.	Web, Web-Services, and Database Systems	2002	DBLP DOI BibTeX RDF
29	Vladimir Tosic, Bernard Pagurek, Babak Esfandiari, Kruti Patel	Management of compositions of e- and m-business Web services with multiple classes of service.	NOMS	2002	DBLP DOI BibTeX RDF
29	Sebastian Maneth	The Complexity of Compositions of Deterministic Tree Transducers.	FSTTCS	2002	DBLP DOI BibTeX RDF	Deterministic Macro Tree Transducers, Complexity
29	Hans de Bruin	Scenario-Based Analysis of Component Compositions.	GCSE	2000	DBLP DOI BibTeX RDF
29	Xuandong Li, Johan Lilius	Checking compositions of UML sequence diagrams for timing inconsistency.	APSEC	2000	DBLP DOI BibTeX RDF	UML sequence diagram composition checking, timing inconsistency checking, real-time systems specification, system behaviour scenarios, high-level graphs, real-time systems, model checking, Unified Modeling Language, formal verification, graphs, timing, specification languages, sequences, diagrams, object interactions
29	Yingxu Wang 0001	On Mathematical Laws of Software.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	denotational mathematics, generic model of software, laws of meta-processes, laws of process relations, laws of process compositions, modeling, software engineering, programs, analysis, software, process models, mathematical models, computational intelligence, Software science, RTPA, algebraic laws
29	Qi-Peng Li, Shao-Wu Zhang 0001, Quan Pan 0001	Using Multi-scale Glide Zoom Window Feature Extraction Approach to Predict Protein Homo-oligomer Types.	PRIB	2008	DBLP DOI BibTeX RDF	Multi-scale glide zoom window, pseudo amino acid compositions, homo-oligomer, feature extraction
29	Qi-Peng Li, Shao-Wu Zhang 0001, Quan Pan 0001	Prediction of Protein Homo-oligomer Types with a Novel Approach of Glide Zoom Window Feature Extraction.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Glide Zoom Window, Pseudo Amino Acid Compositions, Homo-oligomer, Support Vector Machine, Feature Extraction
29	Debmalya Biswas, K. Vidyasankar	Modeling Visibility in Hierarchical Systems.	ER	2006	DBLP DOI BibTeX RDF	Noticeability, Hierarchical Web Services Compositions, Correlation, Visibility, Coherence, Hierarchical Systems
29	Lieven Desmet, Nico Janssens, Sam Michiels, Frank Piessens, Wouter Joosen, Pierre Verbaeten	Towards preserving correctness in self-managed software systems.	WOSS	2004	DBLP DOI BibTeX RDF	distributed software compositions, runtime software reconfiguration, software architectures
29	Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
29	Timothy K. Shih, Anthony Y. Chang	A schedule/layout computation model.	RTCSA	1997	DBLP DOI BibTeX RDF	schedule/layout computation model, temporal intervals, temporal relation compositions, temporal relation algebraic system, virtual reality timing constraints, virtual reality, time constraints, multimedia presentations, multimedia documents
27	Sophie Demassey	Compositions et hybridations pour l'optimisation combinatoire appliquée. (Compositions and hybridizations for applied combinatorial optimization).		2017	RDF
27	Nghi Huynh Quang	CoModels, engineering dynamic compositions of coupled models to support the simulation of complex systems. (CoModels : ingénierie des compositions dynamiques de modèles couplés pour supporter la simulation de systèmes complexes).		2016	RDF
27	Marco Abrate, Stefano Barbero, Umberto Cerruti, Nadir Murru	Colored compositions, Invert operator and elegant compositions with the "black tie".	Discret. Math.	2014	DBLP DOI BibTeX RDF
27	Aurélien Faravelon	Une démarche de conception et d'implémentation de la protection de la vie privée basée sur le contrôle d'accès appliquée aux compositions de services. (Design and Implementation of privacy in service compositions).		2013	RDF