The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Compositions with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1964-1982 (15) 1984-1987 (18) 1988-1990 (18) 1991-1992 (17) 1993-1994 (23) 1995-1996 (25) 1997 (18) 1998 (24) 1999 (21) 2000 (39) 2001 (30) 2002 (53) 2003 (61) 2004 (89) 2005 (111) 2006 (167) 2007 (213) 2008 (205) 2009 (147) 2010 (89) 2011 (68) 2012 (70) 2013 (67) 2014 (77) 2015 (65) 2016 (49) 2017 (55) 2018 (66) 2019 (64) 2020 (60) 2021 (67) 2022 (48) 2023 (49) 2024 (9)
Publication types (Num. hits)
article(662) book(2) data(2) incollection(19) inproceedings(1487) phdthesis(25)
Venues (Conferences, Journals, ...)
CoRR(88) ICWS(68) ICSOC(33) Discret. Math.(24) IEEE SCC(24) Electron. J. Comb.(15) ICMC(14) ICSOC Workshops(13) IEEE Trans. Serv. Comput.(13) Comput. Music. J.(12) J. Integer Seq.(12) SAC(12) WWW(12) CONCUR(11) CVPR(10) ICIW(10) More (+10 of total 1077)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1190 occurrences of 745 keywords

Results
Found 2197 publication records. Showing 2197 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
73Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi, Sam Guinea A framework for the deployment of adaptable web service compositions. Search on Bibsonomy Serv. Oriented Comput. Appl. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Distributed registries, Web services, Monitoring, BPEL, Dynamic compositions
67Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota THROWS: An Architecture for Highly Available Distributed Execution of Web Services Compositions. Search on Bibsonomy RIDE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
67Leonid A. Kalinichenko Compositional Specification Calculus for Information Systems Development. Search on Bibsonomy ADBIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development
58Ronan Barrett, Lucian M. Patcas, Claus Pahl, John Murphy 0001 Model driven distribution pattern design for dynamic web service compositions. Search on Bibsonomy ICWE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF decentralisation, distribution patterns, mda, web services, compositions
52Christian A. Schneider, Frederic Stumpf, Claudia Eckert 0001 Enhancing Control of Service Compositions in Service-Oriented Architectures. Search on Bibsonomy ARES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
52Meiko Jensen A Fault Propagation Approach for Highly Distributed Service Compositions. Search on Bibsonomy IEEE SCC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web Services, service composition, exception handling, fault handling
52Xuan Thang Nguyen, Ryszard Kowalczyk, Jun Han 0004 Using Dynamic Asynchronous Aggregate Search for Quality Guarantees of Multiple Web Services Compositions. Search on Bibsonomy ICSOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. Search on Bibsonomy ICNP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer LTSA-WS: a tool for model-based verification of web service compositions and choreography. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model-checking, web service compositions, choreography, BPEL4WS, WS-CDL
50Alioune Ngom, Corina Reischer, Ivan Stojmenovic Classification of Functions and Enumeration of Bases of Set Logic under Boolean Compositions. Search on Bibsonomy ISMVL The full citation details ... 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
46Marco Pistore, Pierluigi Roberti, Paolo Traverso Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. Search on Bibsonomy ESWC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Stefanie Rinderle-Ma, Manfred Reichert, Martin Jurisch Equivalence of Web Services in Process-Aware Service Compositions. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Ruzanna 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. Search on Bibsonomy AOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF aspect-oriented composition specification, requirements metrics, evaluation, aspect-oriented requirements engineering
44Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Guilan Dai, Rujuan Liu, Chongchong Zhao, Changjun Hu Timing Constraints Specification and Verification for Web Service Compositions. Search on Bibsonomy APSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Marijn Janssen, Ralph Feenstra Socio-technical design of service compositions: a coordination view. Search on Bibsonomy ICEGOV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF public service networks, socio-technical design, web services, service oriented architectures, coordination, e-government, service composition
44Carlos Granell, Michael Gould, Dolores María Llidó, Rafael Berlanga Llavori A model-driven approach for reusing service compositions. Search on Bibsonomy EATIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Michael C. Jaeger Modelling of Service Compositions: Relations to Business Process and Workflow Modelling. Search on Bibsonomy ICSOC Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Abdelkarim Erradi, Piyush Maheshwari, Vladimir Tosic Policy-Driven Middleware for Self-adaptation of Web Services Compositions. Search on Bibsonomy Middleware The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Web services middleware, policy-based management and adaptation, Web services composition, Microsoft .NET
44Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer Leveraging Eclipse for integrated model-based engineering of web service compositions. Search on Bibsonomy eTX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in
44Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota A Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions. Search on Bibsonomy PRDC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Tomoyuki Aotani, Hidehiko Masuhara Towards a type system for detecting never-matching pointcut compositions. Search on Bibsonomy FOAL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF AOP, compositions, records, pointcut
42Alioune Ngom, Corina Reischer, Dan A. Simovici, Ivan Stojmenovic Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection. Search on Bibsonomy ISMVL The full citation details ... 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
38Nathan Weston, Ruzanna Chitchyan, Awais Rashid Formal semantic conflict detection in aspect-oriented requirements. Search on Bibsonomy Requir. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Semantic composition, Formal methods, Requirements engineering, Conflict detection, Predicate logic, Aspect-oriented requirements engineering
38David Ortega-Pacheco, Hiram Calvo Automatic Polyphonic Music Composition Using the EMILE and ABL Grammar Inductors. Search on Bibsonomy CIARP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Automatic Music Composition, EMILE Grammar Inductor, ABL Grammar Inductor, M-Grams, TF.IDF weighting, Grammar Induction
38Björn Ommer, Joachim M. Buhmann Learning Compositional Categorization Models. Search on Bibsonomy ECCV (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Jun Munemori, K. Yagishita, M. Sudo Evaluation of an idea generation method and its supporting groupware. Search on Bibsonomy KES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Daisuke Ikeda, Einoshin Suzuki Mining Peculiar Compositions of Frequent Substrings from Sparse Text Data Using Background Texts. Search on Bibsonomy ECML/PKDD (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Nikolay Mehandjiev, Freddy Lécué, Usman Wajid Provider-Composer Negotiations for Semantic Robustness in Service Compositions. Search on Bibsonomy ICSOC/ServiceWave The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantic robustness, template-based composition, negotiation, service composition, autonomic agents, semantic services
37Chang-Ai Sun, Marco Aiello 0001 Towards Variable Service Compositions Using VxBPEL. Search on Bibsonomy ICSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Farzad Mahdikhani, Mahmoud Reza Hashemi, Marjan Sirjani QoS Aspects in Web Services Compositions. Search on Bibsonomy SOSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Gui-ying Chen Convergence of Powers of a Matrix over Distributive Lattice Under the .-+ Compositions. Search on Bibsonomy FSKD (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37H. Foster Service Compositions: From Models to Self-Management. Search on Bibsonomy EDOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Nuno Laranjeiro, Marco Vieira Towards fault tolerance in web services compositions. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF web services, fault tolerance, composition, diversity
37Mariusz Momotko, Michal Gajewski, André Ludwig, Ryszard Kowalczyk, Marek Kowalkiewicz, Jian Ying Zhang Towards Adaptive Management of QoS-Aware Service Compositions - Functional Architecture. Search on Bibsonomy ICSOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37José García-Fanjul, Claudio de la Riva, Javier Tuya Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. Search on Bibsonomy TAIC PART The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Albert Cohen 0001, Marc Sigler, Sylvain Girbal, Olivier Temam, David Parello, Nicolas Vasilache Facilitating the search for compositions of program transformations. Search on Bibsonomy ICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Hardi Hungar Local Model Checking for Parallel Compositions of Context-Free Processes. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
36Nobuyoshi 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. Search on Bibsonomy NBiS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Geographical origin identification by trace element compositions, efficient retrieval of dense vector
36Li Guo 0003, William Y. Sit Enumeration of Rota-Baxter words. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Rota-Baxter algebras, Rota-Baxter words, catalan numbers, compositions, generating functions
36Sami Bhiri, Khaled Gaaloul, Olivier Perrin 0001, Claude Godart Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web Services. Search on Bibsonomy Business Process Management The full citation details ... 2005 DBLP  DOI  BibTeX  RDF transactional processing, Web services compositions, Workflow patterns
35Sami Bhiri, Claude Godart, Olivier Perrin 0001 Transactional patterns for reliable web services compositions. Search on Bibsonomy ICWE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF reliability, transactional processing, web services compositions, workflow patterns
31Greg Freeman, Don S. Batory, R. Greg Lavender Lifting Transformational Models of Product Lines: A Case Study. Search on Bibsonomy ICMT@TOOLS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF transformation reuse, highlevel transformations, code generation, features, product-lines, model composition
31Alex 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. Search on Bibsonomy TEI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF augmented construction kit, children, tangible user interface, music
31Ana L. Milanova Composition inference for UML class diagrams. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Algorithms, UML, Reverse engineering, Points-to analysis, Ownership
31Chunyang Ye, S. C. Cheung 0001, W. K. Chan 0001, Chang Xu 0001 Detection and resolution of atomicity violation in service composition. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF web services, atomicity, implicit interaction, behavior constraint
31Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota Reliability and Performance Estimation for Enriched WS-SAGAS. Search on Bibsonomy WIRI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Vladimir Tosic, Bernard Pagurek On Comprehensive Contractual Descriptions of Web Services. Search on Bibsonomy EEE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Ana L. Milanova Precise identification of composition relationships for UML class diagrams. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, reverse engineering, points-to analysis, ownership
31Alexander Scivos, Bernhard Nebel The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning. Search on Bibsonomy Spatial Cognition The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Ivica Crnkovic, Magnus Larsson, Otto Preiss Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes. Search on Bibsonomy WADS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Sharon Paradesi, Prashant Doshi, Sonu Swaika Integrating Behavioral Trust in Web Service Compositions. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Hongyu Sun 0001, Robyn R. Lutz, Samik Basu 0001 Product-line-based requirements customization for web service compositions. Search on Bibsonomy SPLC The full citation details ... 2009 DBLP  BibTeX  RDF
29Wei 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. Search on Bibsonomy IEEE SCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Christof Momm, I. P. Hallerbach, Sebastian Abeck, Christoph Rathfelder Manageability design for an autonomic management of semi-dynamic web service compositions. Search on Bibsonomy NOMS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli Quality Prediction of Service Compositions through Probabilistic Model Checking. Search on Bibsonomy QoSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Michael Menzel 0001, Christian Wolter, Christoph Meinel Towards the Aggregation of Security Requirements in Cross-Organisational Service Compositions. Search on Bibsonomy BIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Security, SOA, Service Composition, Security Policy
29Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Diego Zuquim Guimarães Garcia, Maria Beatriz Felgar de Toledo Quality of Service Management for Web Service Compositions. Search on Bibsonomy CSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Quality of Service, Web service, service composition
29Chien-Hung Liu, Shu-Ling Chen, Xue-Yuan Li A WS-BPEL Based Structural Testing Approach for Web Service Compositions. Search on Bibsonomy SOSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Howard Foster, Philip Mayer Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. Search on Bibsonomy ICIW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model-Based Verification, Modelling, SOA, Validation, Tools, Services, Eclipse
29Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. Search on Bibsonomy Test and Analysis of Web Services The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Daniel Lübke Unit Testing BPEL Compositions. Search on Bibsonomy Test and Analysis of Web Services The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Fabien Baligand, Nicolas Rivierre, Thomas Ledoux A Declarative Approach for QoS-Aware Web Service Compositions. Search on Bibsonomy ICSOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Kerry L. Taylor, Paul Brebner, Michael Kearney, Dana Zhang, Kelly Lam, Vladimir Tosic Towards Declarative Monitoring of Declarative Service Compositions. Search on Bibsonomy ICDE Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Mudhakar Srivatsa, Arun Iyengar, Thomas A. Mikalsen, Isabelle Rouvellou, Jian Yin 0002 An Access Control System for Web Service Compositions. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Nobuyoshi 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. Search on Bibsonomy SAINT Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Karen Walzer, Jürgen Anke, Alexander Löser, Huaigu Wu A Concept for Flexible Event-Driven Invocation of Distributed Service Compositions. Search on Bibsonomy ICDCS Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Jing Dong 0005, Tu Peng, Yajing Zhao Model Checking Security Pattern Compositions. Search on Bibsonomy QSIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Harald Meyer On the Semantics of Service Compositions. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Nirmit Desai, Zhengang Cheng, Amit K. Chopra, Munindar P. Singh Toward verification of commitment protocols and their compositions. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Andruid 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. Search on Bibsonomy JCDL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF collections, information discovery, mixed-initiative systems
29Raman Kazhamiakin, Marco Pistore, Luca Santuari Analysis of communication models in web service compositions. Search on Bibsonomy WWW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal verification, BPEL, web service composition, asynchronous communications
29Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore Timed Modelling and Analysis in Web Service Compositions. Search on Bibsonomy ARES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Raman Kazhamiakin, Marco Pistore Static Verification of Control and Data inWeb Service Compositions. Search on Bibsonomy ICWS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Yuya Takabayashi, Harutaka Niwa, Mitsuharu Taneda, Naoki Fukuta, Takahira Yamaguchi Managing Many Web Service Compositions by Task Decomposition and Service Quality Evaluation. Search on Bibsonomy PAKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Anis Charfi, Mira Mezini Middleware services for web service compositions. Search on Bibsonomy WWW (Special interest tracks and posters) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF middleware, BPEL, web service composition
29Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer Tool Support for Model-Based Engineering of Web Service Compositions. Search on Bibsonomy ICWS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Anis Charfi, Mira Mezini Using Aspects for Security Engineering of Web Service Compositions. Search on Bibsonomy ICWS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Michael C. Jaeger, Gregor Rojec-Goldmann SENECA - Simulation of Algorithms for the Selection of Web Services for Compositions. Search on Bibsonomy TES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. Search on Bibsonomy IEEE SCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Evgeni M. Eskenazi, Alexandre V. Fioukov, Dieter K. Hammer Performance Prediction for Component Compositions. Search on Bibsonomy CBSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Johann Oberleitner, Schahram Dustdar Constructing Web Services out of Generic Component Compositions. Search on Bibsonomy ICWS-Europe The full citation details ... 2003 DBLP  DOI  BibTeX  RDF components, composition, component models, interactive testing
29Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer Model-based Verification of Web Service Compositions. Search on Bibsonomy ASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso Building Reliable Web Services Compositions. Search on Bibsonomy Web, Web-Services, and Database Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Vladimir Tosic, Bernard Pagurek, Babak Esfandiari, Kruti Patel Management of compositions of e- and m-business Web services with multiple classes of service. Search on Bibsonomy NOMS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Sebastian Maneth The Complexity of Compositions of Deterministic Tree Transducers. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Deterministic Macro Tree Transducers, Complexity
29Hans de Bruin Scenario-Based Analysis of Component Compositions. Search on Bibsonomy GCSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Xuandong Li, Johan Lilius Checking compositions of UML sequence diagrams for timing inconsistency. Search on Bibsonomy APSEC The full citation details ... 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
29Yingxu Wang 0001 On Mathematical Laws of Software. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 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
29Qi-Peng Li, Shao-Wu Zhang 0001, Quan Pan 0001 Using Multi-scale Glide Zoom Window Feature Extraction Approach to Predict Protein Homo-oligomer Types. Search on Bibsonomy PRIB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-scale glide zoom window, pseudo amino acid compositions, homo-oligomer, feature extraction
29Qi-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. Search on Bibsonomy ICIC (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Glide Zoom Window, Pseudo Amino Acid Compositions, Homo-oligomer, Support Vector Machine, Feature Extraction
29Debmalya Biswas, K. Vidyasankar Modeling Visibility in Hierarchical Systems. Search on Bibsonomy ER The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Noticeability, Hierarchical Web Services Compositions, Correlation, Visibility, Coherence, Hierarchical Systems
29Lieven Desmet, Nico Janssens, Sam Michiels, Frank Piessens, Wouter Joosen, Pierre Verbaeten Towards preserving correctness in self-managed software systems. Search on Bibsonomy WOSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributed software compositions, runtime software reconfiguration, software architectures
29Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe A Set Approach to Role Modeling. Search on Bibsonomy TOOLS (37) The full citation details ... 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
29Timothy K. Shih, Anthony Y. Chang A schedule/layout computation model. Search on Bibsonomy RTCSA The full citation details ... 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
27Sophie Demassey Compositions et hybridations pour l'optimisation combinatoire appliquée. (Compositions and hybridizations for applied combinatorial optimization). Search on Bibsonomy 2017   RDF
27Nghi 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). Search on Bibsonomy 2016   RDF
27Marco Abrate, Stefano Barbero, Umberto Cerruti, Nadir Murru Colored compositions, Invert operator and elegant compositions with the "black tie". Search on Bibsonomy Discret. Math. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Auré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). Search on Bibsonomy 2013   RDF
Displaying result #1 - #100 of 2197 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license