Search results for "compositions"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Ahmet Kara 0001, Halit Oguztüzün, M. Nedim Alpdemir	Heterogeneous DEVS simulations with connectors and Reo based compositions.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
14	Vasilios Tountopoulos, Ira Giannakoudaki, Konstantinos Giannakakis, Lefteris Korres, Leonidas Kallipolitis	Ensuring Trustworthiness and Security in Service Compositions.	CSP Forum	2014	DBLP DOI BibTeX RDF
14	Vishal Dwivedi, David Garlan, Jürgen Pfeffer, Bradley R. Schmerl	Model-Based Assistance for Making Time/Fidelity Trade-Offs in Component Compositions.	ITNG	2014	DBLP DOI BibTeX RDF
14	William Benjamin, Senthil K. Chandrasegaran, Devarajan Ramanujan, Niklas Elmqvist, S. V. N. Vishwanathan, Karthik Ramani	Juxtapoze: supporting serendipity and creative expression in clipart compositions.	CHI	2014	DBLP DOI BibTeX RDF
14	Martin Stepnicka, Michal Holcapek	Fuzzy Relational Compositions Based on Generalized Quantifiers.	IPMU (2)	2014	DBLP DOI BibTeX RDF
14	Alexandra Mazak, Bernhard Kratzwald	The Weighted Decision Matrix: Tracking Design Decisions in Service Compositions.	SOCA	2014	DBLP DOI BibTeX RDF
14	Andres Gomez 0001, Lars Schor, Pratyush Kumar, Lothar Thiele	SF3P: a framework to explore and prototype hierarchical compositions of real-time schedulers.	RSP	2014	DBLP DOI BibTeX RDF
14	Angela Eigenstetter, Masato Takami, Björn Ommer	Randomized Max-Margin Compositions for Visual Recognition.	CVPR	2014	DBLP DOI BibTeX RDF
14	Patrick Ziering, Lonneke van der Plas	What good are 'Nominalkomposita' for 'noun compounds': Multilingual Extraction and Structure Analysis of Nominal Compositions using Linguistic Restrictors.	COLING	2014	DBLP BibTeX RDF
14	Langford B. White, Francesco Carravetta	New Normalised Bayesian smoothers for signals modelled by non-causal compositions of reciprocal chains.	SSP	2014	DBLP DOI BibTeX RDF
14	Evgeny M. Dianov, Konstantin Riumkin, Mikhail Melkumov, I. A. Bufetov	Excited state absorption in bismuth-doped fibers with various glass compositions.	OFC	2014	DBLP DOI BibTeX RDF
14	Sven Walther, Heike Wehrheim	Verified Service Compositions by Template-Based Construction.	FACS	2014	DBLP DOI BibTeX RDF
14	Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres	Scenario-Based Design and Validation of REST Web Service Compositions.	WEBIST (Revised Selected Papers)	2014	DBLP DOI BibTeX RDF
14	Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres	An Integrated Approach for Designing and Validating REST Web Service Compositions.	WEBIST (1)	2014	DBLP DOI BibTeX RDF
14	Anca Nicoleta Marginean, Ioan Alfred Letia, Sergiu Zaporojan	Using Domain Specific Hierarchical Good Practice for Ranking Service Compositions.	SYNASC	2014	DBLP DOI BibTeX RDF
14	Svetlana Arifulina, Sven Walther, Matthias Becker 0001, Marie Christin Platenius	SeSAME: modeling and analyzing high-quality service compositions.	ASE	2014	DBLP DOI BibTeX RDF
14	Noha ElGarem, Nefertiti Megahed, Jay A. Wood	The Extension Theorem with Respect to Symmetrized Weight Compositions.	ICMCTA	2014	DBLP DOI BibTeX RDF
14	Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane	A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions.	IEEE SCC	2014	DBLP DOI BibTeX RDF
14	Chien-Hung Liu, Shu-Ling Chen, Teng-Yi Huang	Data flow analysis and testing for OWL-S semantic web service compositions.	Int. J. Comput. Sci. Eng.	2013	DBLP DOI BibTeX RDF
14	Amela Muratovic-Ribic, Qiang Wang 0012	Partitions and Compositions over Finite Fields.	Electron. J. Comb.	2013	DBLP DOI BibTeX RDF
14	Yanik Ngoko, Alfredo Goldman, Dejan S. Milojicic	Service selection in web service compositions optimizing energy consumption and service response time.	J. Internet Serv. Appl.	2013	DBLP DOI BibTeX RDF
14	Pawel Lichocki, Steffen Wischmann, Laurent Keller, Dario Floreano	Evolving Team Compositions by Agent Swapping.	IEEE Trans. Evol. Comput.	2013	DBLP DOI BibTeX RDF
14	Daniel R. Page	Generalized Algorithm for Restricted Weak Composition Generation - Generation Algorithm for Second-Order Restricted Weak Compositions.	J. Math. Model. Algorithms Oper. Res.	2013	DBLP DOI BibTeX RDF
14	Huiyuan Zheng, Weiliang Zhao, Jian Yang 0001, Athman Bouguettaya	QoS Analysis for Web Service Compositions with Complex Structures.	IEEE Trans. Serv. Comput.	2013	DBLP DOI BibTeX RDF
14	Philipp Leitner 0001, Waldemar Hummer, Schahram Dustdar	Cost-Based Optimization of Service Compositions.	IEEE Trans. Serv. Comput.	2013	DBLP DOI BibTeX RDF
14	Idir Aït-Sadoune, Yamine Aït Ameur	Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.	Trans. Large Scale Data Knowl. Centered Syst.	2013	DBLP DOI BibTeX RDF
14	Miroslav Zivkovic, Hans van den Berg	Revenue Optimization of Service Compositions using Conditional Request Retries.	Int. J. Web Serv. Res.	2013	DBLP DOI BibTeX RDF
14	Benjamin Braun, Robert Davis, Jessica Doering, Ashley Harrison, Jenna Noll, Clifford Taylor	Compositions Constrained by Graph Laplacian Minors.	Integers	2013	DBLP BibTeX RDF
14	Grégory Bourguin, Arnaud Lewandowski, Myriam Lewkowicz	Sharing Experience Around Component Compositions: Application to the Eclipse Ecosystem.	Int. J. Distributed Syst. Technol.	2013	DBLP DOI BibTeX RDF
14	El Kindi Rezig, Youcef Aklouf, Hadj Madani Meghazi	Leveraging human experts' knowledge to detect and publish compositions of Semantic Web services in a repository.	Int. J. Bus. Inf. Syst.	2013	DBLP DOI BibTeX RDF
14	Ingo Zinnikus, Xiaoqi Cao, Klaus Fischer 0001	Agent-supported collaboration and interoperability for networked enterprises: Modeling interactions and service compositions.	Comput. Ind.	2013	DBLP DOI BibTeX RDF
14	Mehrsan Javan Roshtkhari, Martin D. Levine	An on-line, real-time learning method for detecting anomalies in videos using spatio-temporal compositions.	Comput. Vis. Image Underst.	2013	DBLP DOI BibTeX RDF
14	András Frank, Csaba Király 0001	Tree-compositions and orientations.	Oper. Res. Lett.	2013	DBLP DOI BibTeX RDF
14	Yunni Xia, Xin Luo 0001, Jia Li 0029, Qingsheng Zhu	A Petri-Net-Based Approach to Reliability Determination of Ontology-Based Service Compositions.	IEEE Trans. Syst. Man Cybern. Syst.	2013	DBLP DOI BibTeX RDF
14	Nozomu Sakurai, Takeshi Ara, Shigehiko Kanaya, Yukiko Nakamura, Yoko Iijima, Mitsuo Enomoto, Takeshi Motegi, Koh Aoki, Hideyuki Suzuki, Daisuke Shibata	An application of a relational database system for high-throughput prediction of elemental compositions from accurate mass values.	Bioinform.	2013	DBLP DOI BibTeX RDF
14	Jean-Luc Baril, Phan-Thuan Do	ECO-generation for some restricted classes of compositions.	Comput. Sci. J. Moldova	2013	DBLP BibTeX RDF
14	Peter D. Turney	Domain and Function: A Dual-Space Model of Semantic Relations and Compositions.	CoRR	2013	DBLP BibTeX RDF
14	Simone A. Ludwig	Memetic algorithms applied to the optimization of workflow compositions.	Swarm Evol. Comput.	2013	DBLP DOI BibTeX RDF
14	Philipp Leitner 0001, Johannes Ferner, Waldemar Hummer, Schahram Dustdar	Data-driven and automated prediction of service level agreement violations in service compositions.	Distributed Parallel Databases	2013	DBLP DOI BibTeX RDF
14	Yu-hong Guo	n-Colour Even Compositions.	Ars Comb.	2013	DBLP BibTeX RDF
14	Tina Kogovsek, Germà Coenders, Valentina Hlebec	Predictors and outcomes of social network compositions: A compositional structural equation modeling approach.	Soc. Networks	2013	DBLP DOI BibTeX RDF
14	Michael C. Gao, David E. Alman	Searching for Next Single-Phase High-Entropy Alloy Compositions.	Entropy	2013	DBLP DOI BibTeX RDF
14	Marjan Mernik	An object-oriented approach to language compositions for software language engineering.	J. Syst. Softw.	2013	DBLP DOI BibTeX RDF
14	Cheng Yeaw Ku, Kok Bin Wong	An analogue of the Erdős-Ko-Rado theorem for weak compositions.	Discret. Math.	2013	DBLP DOI BibTeX RDF
14	Raoul Blankertz, Joachim von zur Gathen, Konstantin Ziegler	Compositions and collisions at degree p2.	J. Symb. Comput.	2013	DBLP DOI BibTeX RDF
14	Mircea Merca	Binary Diagrams for Storing Ascending Compositions.	Comput. J.	2013	DBLP DOI BibTeX RDF
14	Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo	A sharing-based approach to supporting adaptation in service compositions.	Computing	2013	DBLP DOI BibTeX RDF
14	Waldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner 0001, Schahram Dustdar	Testing of data-centric and event-based dynamic service compositions.	Softw. Test. Verification Reliab.	2013	DBLP DOI BibTeX RDF
14	João Araújo 0001, Jon Whittle 0001	Aspect-Oriented Compositions for Dynamic Behavior Models.	Aspect-Oriented Requirements Engineering	2013	DBLP DOI BibTeX RDF
14	Scott Bourne, Claudia Szabo, Quan Z. Sheng	Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates.	WISE (1)	2013	DBLP DOI BibTeX RDF
14	Fabio Martinelli, Ilaria Matteucci	Partial Model Checking for the Verification and Synthesis of Secure Service Compositions.	EuroPKI	2013	DBLP DOI BibTeX RDF
14	Angelo Furno, Eugenio Zimeo	Efficient Cooperative Discovery of Service Compositions in Unstructured P2P Networks.	PDP	2013	DBLP DOI BibTeX RDF
14	Rafael Pérez y Pérez, María González de Cossío, Iván Guerrero Román	A Computer Model for the Generation of Visual Compositions.	ICCC	2013	DBLP BibTeX RDF
14	Heidelinde Hobel, Johannes Heurix, Amin Anjomshoaa, Edgar R. Weippl	Towards Security-Enhanced and Privacy-Preserving Mashup Compositions.	SEC	2013	DBLP DOI BibTeX RDF
14	Icamaan da Silva, Andrea Zisman	Decomposing Ratings in Service Compositions.	ICSOC	2013	DBLP DOI BibTeX RDF
14	Dhouha Ayed, Muhammad Asim 0001, David Llewellyn-Jones	An event processing approach for threats monitoring of service compositions.	CRiSIS	2013	DBLP DOI BibTeX RDF
14	Pengfei Ji, Xinqing Gao, Dexian Huang, Yue Yang	Prediction of syngas compositions in shell coal gasification process via dynamic soft-sensing method.	ICCA	2013	DBLP DOI BibTeX RDF
14	Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel	WSCCT: a tool for WS-BPEL compositions conformance testing.	SAC	2013	DBLP DOI BibTeX RDF
14	Perla Velasco Elizondo, Vishal Dwivedi, David Garlan, Bradley R. Schmerl, José Maria Fernandes	Resolving Data Mismatches in End-User Compositions.	IS-EUD	2013	DBLP DOI BibTeX RDF
14	Johan Ersfolk, Ghislain Roquier, Wictor Lund, Marco Mattavelli, Johan Lilius	Static and quasi-static compositions of stream processing applications from dynamic dataflow programs.	ICASSP	2013	DBLP DOI BibTeX RDF
14	Afef Jmal Maâlej, Manel Hamza, Moez Krichen, Mohamed Jmaiel	Automated Significant Load Testing for WS-BPEL Compositions.	ICST Workshops	2013	DBLP DOI BibTeX RDF
14	Miroslav Zivkovic, Hans van den Berg	Revenue Optimization of Service Compositions Using Conditional Request Retries.	ICWS	2013	DBLP DOI BibTeX RDF
14	Germán H. Alférez, Vicente Pelechano	Facing Uncertainty in Web Service Compositions.	ICWS	2013	DBLP DOI BibTeX RDF
14	Denitsa Manova, Sylvia Ilieva, Dessislava Petrova-Antonova	Testing web service's compositions following TASSA methodology.	CompSysTech	2013	DBLP DOI BibTeX RDF
14	Andrzej Zbrzezny	On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems.	CS&P	2013	DBLP BibTeX RDF
14	Antonia Bertolino, Eda Marchetti, Andrea Morichetta 0001	Adequate monitoring of service compositions.	ESEC/SIGSOFT FSE	2013	DBLP DOI BibTeX RDF
14	Peng Liu 0010, Julian Dolby, Charles Zhang 0001	Finding incorrect compositions of atomicity.	ESEC/SIGSOFT FSE	2013	DBLP DOI BibTeX RDF
14	Zhichun Jia, Rong Chen	Hybrid Model-Based Diagnosis of Web Service Compositions.	AAAI	2013	DBLP DOI BibTeX RDF
14	Katharina Görlach, Frank Leymann, Volker Claus	Unified Execution of Service Compositions (Short Paper).	SOCA	2013	DBLP DOI BibTeX RDF
14	Dionysios Efstathiou, Peter McBurney, Steffen Zschaler, Johann Bourcier	Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems.	SSBSE	2013	DBLP DOI BibTeX RDF
14	Yunni Xia, Jian Ding, Xin Luo 0001, Qingsheng Zhu	Dependability Prediction of WS-BPEL Service Compositions Using Petri Net and Time Series Models.	SOSE	2013	DBLP DOI BibTeX RDF
14	Andreas Fuchs 0002, Sigrid Gürgens	Preserving Confidentiality in Component Compositions.	SC@STAF	2013	DBLP DOI BibTeX RDF
14	Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert 0001	Automatic Refinement of Service Compositions.	ICWE	2013	DBLP DOI BibTeX RDF
14	Sébastien Salva, Tien-Dung Cao	A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds.	SERA (selected papers)	2013	DBLP DOI BibTeX RDF
14	Mathieu Acher, Benoît Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert B. France	Composing Your Compositions of Variability Models.	MoDELS	2013	DBLP DOI BibTeX RDF
14	Amanda Sávio Nascimento, Cecília M. F. Rubira, Fernando Castor	Using CVL to Support Self-Adaptation of Fault-Tolerant Service Compositions.	SASO	2013	DBLP DOI BibTeX RDF
14	Afef Jmal Maâlej, Manel Hamza, Moez Krichen	WSCLT: A Tool for WS-BPEL Compositions Load Testing.	WETICE	2013	DBLP DOI BibTeX RDF
14	Milan Petrík	On functions that solve Mulholland inequality and on compositions of such functions.	EUSFLAT Conf.	2013	DBLP DOI BibTeX RDF
14	Joseph Gillain, Stéphane Faulkner, Ivan Jureta, Monique Snoeck	Using goals and customizable services to improve adaptability of process-based service compositions.	RCIS	2013	DBLP DOI BibTeX RDF
14	Wenda He, Reyer Zwiggelaar	Breast Parenchymal Pattern Analysis in Digital Mammography: Associations between Tabár and Birads Tissue Compositions.	CAIP (2)	2013	DBLP DOI BibTeX RDF
14	Sven Walther, Heike Wehrheim	Knowledge-Based Verification of Service Compositions - An SMT Approach.	ICECCS	2013	DBLP DOI BibTeX RDF
14	Paraskevi Zerva, Steffen Zschaler, Simon Miles	Towards Provenance Aware Design of Service Compositions: A Methodology for Analysing the Provenance Awareness in Service Designs.	IEEE SCC	2013	DBLP DOI BibTeX RDF
14	René Ramacher, Lars Mönch	Reliable Service Reconfiguration for Time-Critical Service Compositions.	IEEE SCC	2013	DBLP DOI BibTeX RDF
14	Nelly Schuster	Coordinating Service Compositions: Model and Infrastructure for Collaborative Creation of Electronic Documents.		2013	RDF
14	Margaret Archibald, Arnold Knopfmacher, Toufik Mansour	Variation Statistics on Compositions.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
14	Edward A. Bender, E. Rodney Canfield, Zhicheng Gao	Locally Restricted Compositions IV. Nearly Free Large Parts and Gap-Freeness.	Electron. J. Comb.	2012	DBLP DOI BibTeX RDF
14	Florian Skopik, Daniel Schall 0001, Schahram Dustdar	Discovering and Managing Social Compositions in Collaborative Enterprise Crowdsourcing Systems.	Int. J. Cooperative Inf. Syst.	2012	DBLP DOI BibTeX RDF
14	Claus Pahl, Yaoling Zhu	Data Integration in Mediated Service Compositions.	Comput. Informatics	2012	DBLP BibTeX RDF
14	Mircea Merca	Fast Algorithm for Generating Ascending Compositions.	J. Math. Model. Algorithms	2012	DBLP DOI BibTeX RDF
14	Brian Hopkins 0001	Spotted Tilings and n-Color Compositions.	Integers	2012	DBLP BibTeX RDF
14	Augustine O. Munagi	Euler-type Identities for Integer Compositions Via Zig-Zag Graphs.	Integers	2012	DBLP BibTeX RDF
14	Joel André Ferreira dos Santos, Débora Christina Muchaluat-Saade	XTemplate 3.0: spatio-temporal semantics and structure reuse for hypermedia compositions.	Multim. Tools Appl.	2012	DBLP DOI BibTeX RDF
14	Saeid Mehrabi, Melsik K. Kyuregyan	Irreducible compositions of polynomials over finite fields of even characteristic.	Appl. Algebra Eng. Commun. Comput.	2012	DBLP DOI BibTeX RDF
14	Xiao-Chuan Liu	On flushed partitions and concave compositions.	Eur. J. Comb.	2012	DBLP DOI BibTeX RDF
14	Fred Witham, Jonathan Blundy, Simon C. Kohn, Priscille Lesne, Jacqueline Dixon, Sergey V. Churakov, Roman Botcharnikov	SolEx: A model for mixed COHSCl-volatile solubilities and exsolved gas compositions in basalt.	Comput. Geosci.	2012	DBLP DOI BibTeX RDF
14	Peter D. Turney	Domain and Function: A Dual-Space Model of Semantic Relations and Compositions.	J. Artif. Intell. Res.	2012	DBLP DOI BibTeX RDF
14	Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani	Intruder deducibility constraints with negation. Decidability and application to secured service compositions	CoRR	2012	DBLP BibTeX RDF
14	Cyril Banderier, Pawel Hitczenko	Enumeration and asymptotics of restricted compositions having the same number of parts.	CoRR	2012	DBLP BibTeX RDF
14	Steffen Eger	Asymptotic normality of integer compositions inside a rectangle	CoRR	2012	DBLP BibTeX RDF
14	Raoul Blankertz, Joachim von zur Gathen, Konstantin Ziegler	Compositions and collisions at degree p2	CoRR	2012	DBLP BibTeX RDF