Search results for "compositions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Lodewijk Bergmans, Wilke Havinga, Mehmet Aksit	First-Class Compositions - Defining and Composing Object and Aspect Compositions with First-Class Operators.	T. Aspect-Oriented Software Development	2012	DBLP DOI BibTeX RDF
27	Idir Aït-Sadoune	Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve. (Modelling and verifying services compositions).		2010	RDF
27	Sami Bhiri	Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web. (A Transactional Approach to Ensure Reliable Web Services Compositions).		2005	RDF
23	Yunhee Shin, Eun Yi Kim	Affective prediction in photographic images using probabilistic affective model.	CIVR	2010	DBLP DOI BibTeX RDF	human affects prediction, probabilistic affective model, affective computing, image annotation
23	Haibo Zhao, Prashant Doshi	A hierarchical framework for logical composition of web services.	Serv. Oriented Comput. Appl.	2009	DBLP DOI BibTeX RDF	Probability, Hierarchy, Web service composition, First-order logic, Decision-theoretic planning
23	Björn Ommer, Theodor Mader, Joachim M. Buhmann	Seeing the Objects Behind the Dots: Recognition in Videos from a Moving Camera.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Segmentation, Object recognition, Tracking, Video analysis, Compositionality, Visual learning
23	Freddy Lécué, Nikolay Mehandjiev	Towards Scalability of Quality Driven Semantic Web Service Composition.	ICWS	2009	DBLP DOI BibTeX RDF
23	Idir Aït-Sadoune, Yamine Aït Ameur	Verification and Validation of Web Service Composition Using Event B Method.	ABZ	2008	DBLP DOI BibTeX RDF
23	Wen-Yau Liang	Apply Rough Set Theory into the Web Services Composition.	AINA	2008	DBLP DOI BibTeX RDF
23	Ruzanna Chitchyan, Mónica Pinto, Awais Rashid, Lidia Fuentes	COMPASS: Composition-Centric Mapping of Aspectual Requirements to Architecture.	T. Aspect-Oriented Software Development	2007	DBLP DOI BibTeX RDF	requirements to architecture mapping, requirements composition, architecture composition, requirements engineering, aspect-oriented software development, architecture design, early aspects
23	Björn Ommer, Joachim M. Buhmann	Learning the Compositional Nature of Visual Objects.	CVPR	2007	DBLP DOI BibTeX RDF
23	Max J. Egenhofer	Temporal Relations of Intervals with a Gap.	TIME	2007	DBLP DOI BibTeX RDF
23	Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	On Rejecting Outliers by Smirnov Test for Massive Data Input System in Vegetable Geographical Origin Identification System.	AINA	2007	DBLP DOI BibTeX RDF
23	Max J. Egenhofer, Maria Vasardani	Spatial Reasoning with a Hole.	COSIT	2007	DBLP DOI BibTeX RDF
23	Fabien Baligand, Didier Le Botlan, Thomas Ledoux, Pierre Combes	A Language for Quality of Service Requirements Specification in Web Services Orchestrations.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF
23	Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, Bart Verheecke	Modularization of Distributed Web Services Using Aspects with Explicit Distribution (AWED).	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
23	José Eduardo M. S. Brandão, Joni da Silva Fraga, Paulo Manoel Mafra, Rafael R. Obelheiro	A WS-Based Infrastructure for Integrating Intrusion Detection Systems in Large-Scale Environments.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
23	Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou	Verification of communicating data-driven web services.	PODS	2006	DBLP DOI BibTeX RDF
23	Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	Efficient Target Selection in Similarity Preserve Hash for Distributed Geographical Origin Identification System of Vegetables.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
23	A. Asthana, A. K. Chowdhury, A. K. Das, B. L. Tembe	Model Dependence of Solvent Separated Sodium Chloride Ion Pairs in Water-DMSO Mixtures.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
23	Nobuyoshi Sato, Jin Tamaoka, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo, Minoru Uehara	Target Selection by Similarity Preserve Hash in Distributed System for Geographical Origin Identification of Vegetables.	AINA (1)	2006	DBLP DOI BibTeX RDF
23	Michael C. Jaeger, Gero Mühl	Soft Real-Time Aspects for Service-Oriented Architectures.	CEC/EEE	2006	DBLP DOI BibTeX RDF
23	Bruno Gonçalves, António Lopes 0001, Sofia Esteves, Luís Miguel Botelho	Cognitive agents based simulation for decisions regarding human team composition.	AAMAS	2006	DBLP DOI BibTeX RDF	agent motivational model, multi-agent simulation, brainstorms
23	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Model-Based Analysis of Obligations in Web Service Choreography.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
23	Ismailcem Budak Arpinar, Ruoyan Zhang, Boanerges Aleman-Meza, Angela Maduko	Ontology-driven Web services composition platform.	Inf. Syst. E Bus. Manag.	2005	DBLP DOI BibTeX RDF	Ontology, Web services, Composition, Discovery
23	Manuel del Valle, Beatriz Sánchez, Luis Fernando Lago-Fernández, Fernando J. Corbacho	Feature Discovery in Classification Problems.	IDA	2005	DBLP DOI BibTeX RDF
23	Björn Ommer, Joachim M. Buhmann	Object Categorization by Compositional Graphical Models.	EMMCVPR	2005	DBLP DOI BibTeX RDF
23	Luciano Baresi, Carlo Ghezzi, Sam Guinea	Smart monitors for composed services.	ICSOC	2004	DBLP DOI BibTeX RDF	pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements
23	Shlomo Hoory, Avner Magen, Steven A. Myers, Charles Rackoff	Simple Permutations Mix Well.	ICALP	2004	DBLP DOI BibTeX RDF
23	Ismailcem Budak Arpinar, Boanerges Aleman-Meza, Ruoyan Zhang, Angela Maduko	Ontology-Driven Web Services Composition Platform.	CEC	2004	DBLP DOI BibTeX RDF
23	Sergei Gorlatch	Domain-Specific Optimizations of Composed Parallel Components.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
23	Bart Orriëns, Jian Yang 0001, Mike P. Papazoglou	Model Driven Service Composition.	ICSOC	2003	DBLP DOI BibTeX RDF
23	Naren Kodali, Csilla Farkas, Duminda Wijesekera	Multimedia Access Control Using RDF Metadata.	OTM Workshops	2003	DBLP DOI BibTeX RDF
23	Zhihong Ren, Jiannong Cao 0001, Alvin T. S. Chan, Jing Li	Composition and Automation of Grid Services.	APPT	2003	DBLP DOI BibTeX RDF
23	Igor Benko, Jo C. Ebergen	Composing Snippets.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
23	Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh	Breaking Row and Column Symmetries in Matrix Models.	CP	2002	DBLP DOI BibTeX RDF
23	Christoph Wedler, Christian Lengauer	On Linear List Recursion in Parallel.	Acta Informatica	1998	DBLP DOI BibTeX RDF
23	Michelle Bacigalupi	The craft of movement in interaction design.	AVI	1998	DBLP DOI BibTeX RDF
23	Antonio Brogi, Simone Contiero, Franco Turini	The Use of Renaming in Composing General Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF
23	Jayant Sharma, Douglas M. Flewelling	Inferences from Combined Knowledge about Topology and Directions.	SSD	1995	DBLP DOI BibTeX RDF
23	Haim Gaifman, Ehud Shapiro	Fully Abstract Compositional Semantics for Logic Programs.	POPL	1989	DBLP DOI BibTeX RDF
21	Joel André Ferreira dos Santos, Débora C. Muchaluat-Saade	XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse.	SAC	2010	DBLP DOI BibTeX RDF	XTemplate, composite templates, reuse, interactive TV, composition semantics, NCL
21	Natallia Kokash, Christian Krause 0001, Erik P. de Vink	Data-aware design and verification of service compositions with Reo and mCRL2.	SAC	2010	DBLP DOI BibTeX RDF	mCRL2, verification, Reo, service-based systems
21	Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli	Observability and Controllability Issues in Conformance Testing of Web Service Compositions.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	observability and controllability, verdict testing report, Web Service composition, Conformance testing
21	John Harney, Prashant Doshi	Selective Querying for Adapting Hierarchical Web Service Compositions Using Aggregate Volatility.	ICWS	2009	DBLP DOI BibTeX RDF
21	Anis Charfi, Tom Dinkelaker, Mira Mezini	A Plug-in Architecture for Self-Adaptive Web Service Compositions.	ICWS	2009	DBLP DOI BibTeX RDF
21	Idir Aït-Sadoune, Yamine Aït Ameur	A Proof Based Approach for Modelling and VerifyingWeb Services Compositions.	ICECCS	2009	DBLP DOI BibTeX RDF
21	Christof Momm, Michael Gebhart, Sebastian Abeck	A Model-Driven Approach for Monitoring Business Performance in Web Service Compositions.	ICIW	2009	DBLP DOI BibTeX RDF
21	Cheikh Ba, Mírian Halfeld Ferrari	Dependence graphs for verifications of web service compositions with PEWS.	SAC	2008	DBLP DOI BibTeX RDF	web service composition, dependence graphs, trace theory
21	Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra	Decidable Compositions of O-Minimal Automata.	ATVA	2008	DBLP DOI BibTeX RDF
21	Eric Gehrig, Matthias Kawski	A hopf-algebraic formula for compositions of noncommuting flows.	CDC	2008	DBLP DOI BibTeX RDF
21	Heiko Pfeffer, David Linner, Stephan Steglich	Dynamic Adaptation of Workflow Based Service Compositions.	ICIC (1)	2008	DBLP DOI BibTeX RDF
21	Mohsen Rouached, Claude Godart	A run-time service discovery process for web services compositions.	ICEC	2008	DBLP DOI BibTeX RDF	composition engineering, run-time discovery, monitoring, web service composition
21	Gary Greenfield	Evolved Diffusion Limited Aggregation Compositions.	EvoWorkshops	2008	DBLP DOI BibTeX RDF
21	Chern Har Yew, Vladimir Tosic, Hanan Lutfiyya	On integrating trust into business-driven management of web services and their compositions.	BDIM	2008	DBLP DOI BibTeX RDF
21	Luciano Baresi, Giordano Tamburrelli	Loose Compositions for Autonomic Systems.	SC@ETAPS	2008	DBLP DOI BibTeX RDF
21	Jing Dong 0005, Sheng Yang 0002, Kang Zhang 0001	Visualizing Design Patterns in Their Applications and Compositions.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Web service, UML, Design pattern, model-driven architecture, visual tool
21	Kai Petersen, Johannes Maria Zaha, Andreas Metzger	Variability-Driven Selection of Services for Service Compositions.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
21	John T. E. Timm, Gerald C. Gannod	Specifying Semantic Web Service Compositions using UML and OCL.	ICWS	2007	DBLP DOI BibTeX RDF
21	Ustun Yildiz, Claude Godart	Information Flow Control with Decentralized Service Compositions.	ICWS	2007	DBLP DOI BibTeX RDF
21	Zhongnan Shen, Jianwen Su	On Completeness of Web Service Compositions.	ICWS	2007	DBLP DOI BibTeX RDF
21	Guilan Dai, Xiaoying Bai, Chongchong Zhao	A Framework for Model Checking Web Service Compositions Based on BPEL4WS.	ICEBE	2007	DBLP DOI BibTeX RDF
21	Ustun Yildiz, Claude Godart	Designing Decentralized Service Compositions: Challenges and Solutions.	WEBIST (Selected Papers)	2007	DBLP DOI BibTeX RDF
21	Serge Haddad, Pascal Poizat	Transactional Reduction of Component Compositions.	FORTE	2007	DBLP DOI BibTeX RDF
21	Pablo Zegers, Gonzalo Correa	Boosting Learning Machines with Function Compositions to Avoid Local Minima in Regression Problems.	IJCNN	2007	DBLP DOI BibTeX RDF
21	Vladimir Tosic, Basem Suleiman, Hanan Lutfiyya	UML Profiles for WS-Policy4MASC as Support for Business Value Driven Engineering and Management of Web Services and their Compositions.	EDOC	2007	DBLP DOI BibTeX RDF
21	Lenin Singaravelu, Calton Pu	Fine-Grain, End-to-End Security for Web Service Compositions.	IEEE SCC	2007	DBLP DOI BibTeX RDF
21	Sascha Alda, Julia Kuck, Armin B. Cremers	Tailorability of personalized BPEL-based Workflow Compositions.	IEEE SCW	2007	DBLP DOI BibTeX RDF
21	Józef Drewniak, Jolanta Sobera	Compositions of invariant fuzzy implications.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Invariant implication, Composition table, Idempotent implication, Fuzzy implication
21	Bruno Wassermann, Wolfgang Emmerich	Reliable Scientific Service Compositions.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF
21	Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas-Delgado	Automated Discovery of Compositions of Services Described with Separate Ontologies.	ICSOC	2006	DBLP DOI BibTeX RDF
21	Behshad Behzadi, Martin Vingron	Reconstructing Domain Compositions of Ancestral Multi-domain Proteins.	Comparative Genomics	2006	DBLP DOI BibTeX RDF	Evolution of Multidomain proteins, Tree reconciliation
21	Chung-Yuan Huang, Ji-Lung Hsieh, Chuen-Tsai Sun, Chia-Ying Cheng	Evaluating Subjective Compositions by the Cooperation Between Human and Adaptive Agents.	MICAI	2006	DBLP DOI BibTeX RDF	critiquing subjective data, content-based filtering, adaptive agent, interactive evolutionary computing, Music recommender system
21	Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti	Run-Time Monitoring of Instances and Classes of Web Service Compositions.	ICWS	2006	DBLP DOI BibTeX RDF
21	Anis Charfi, Benjamin Schmeling, Andreas Heizenreder, Mira Mezini	Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL.	ECOWS	2006	DBLP DOI BibTeX RDF
21	Xuan Thang Nguyen, Ryszard Kowalczyk	An Agent Based QoS Conflict Mediation Framework for Web Services Compositions.	IAT	2006	DBLP DOI BibTeX RDF
21	Xuan Thang Nguyen, Ryszard Kowalczyk, Khoi Anh Phan	Dynamic Asynchronous Aggregate Search for Solving QoS Compositions of Web Services.	IAT Workshops	2006	DBLP DOI BibTeX RDF
21	Chuen-Tsai Sun, Ji-Lung Hsieh, Chung-Yuan Huang	Using Evolving Agents to Critique Subjective Music Compositions.	CIS	2006	DBLP DOI BibTeX RDF	critiquing subjective data, content-based filtering, adaptive agent, interactive evolutionary computing, Music recommender system
21	Alessio Bosca, Giuseppe Valetto, Roberta Maglione, Fulvio Corno	Specifying Web Service Compositions on the Basis of Natural Language Requests.	ICSOC	2005	DBLP DOI BibTeX RDF
21	Thomas Cottenier, Tzilla Elrad	Adaptive compositions across organizational boundaries.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	service orchestration and choreography, aspect-oriented software development
21	Raman Kazhamiakin, Marco Pistore	A Parametric Communication Model for the Verification of BPEL4WS Compositions.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
21	Ssu-Hua Huang, Ru-Sheng Liu, Chien-Yu Chen 0001, Ya-Ting Chao, Shu-Yuan Chen	Prediction of Outer Membrane Proteins by Support Vector Machines Using Combinations of Gapped Amino Acid Pair Compositions.	BIBE	2005	DBLP DOI BibTeX RDF	outer membrane protein prediction, ß-barrel membrane proteins, gapped amino acid pair composition, Support Vector Machine
21	Jinkui Xie, Linpeng Huang	An Abstract Model for Service Compositions Based on Agents.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
21	Carlos Granell, Michael Gould, Roy Grønmo, David Skogan	Improving Reuse of Web Service Compositions.	EC-Web	2005	DBLP DOI BibTeX RDF
21	Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta	Typed Abstraction of Complex Network Compositions.	ICNP	2005	DBLP DOI BibTeX RDF
21	Thai Quang Tung, Doheon Lee, Dae-Won Kim, Jong-Tae Lim	Voting Fuzzy k-NN to Predict Protein Subcellular Localization from Normalized Amino Acid Pair Compositions.	PAKDD	2005	DBLP DOI BibTeX RDF
21	Debmalya Biswas, Krishnamurthy Vidyasankar	Monitoring for Hierarchical Web Services Compositions.	TES	2005	DBLP DOI BibTeX RDF
21	Roy Grønmo, Michael C. Jaeger	Model-Driven Methodology for Building QoS-Optimised Web Service Compositions.	DAIS	2005	DBLP DOI BibTeX RDF
21	Manuel I. Capel Tuñón, Mario Rossainz López	A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs).	CONIELECOMP	2004	DBLP DOI BibTeX RDF
21	Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab	Modeling Behavior in Compositions of Software Architectural Primitives.	ASE	2004	DBLP DOI BibTeX RDF
21	Martin Helmut Alt, Sergei Gorlatch	Future-Based RMI: Optimizing Compositions of Remote Method Calls on the Grid.	Euro-Par	2003	DBLP DOI BibTeX RDF
21	Steffen Higel, Tony O'Donnell, David Lewis 0001, Vincent Wade	Towards an Intuitive Interface for Tailored Service Compositions.	DAIS	2003	DBLP DOI BibTeX RDF
21	Dimitrios Koukopoulos, Marios Mavronicolas, Sotiris E. Nikoletseas, Paul G. Spirakis	On the Stability of Compositions of Universally Stable, Greedy Contention-Resolution Protocols.	DISC	2002	DBLP DOI BibTeX RDF
21	Iosif Lazaridis, Michalis Vazirgiannis, Timos K. Sellis	STEDEL: A Language For Interactive Spatiotemporal Compositions.	ICME	2001	DBLP DOI BibTeX RDF
21	Juhani Karhumäki, H. C. M. Kleijn	On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.	MFCS	1984	DBLP DOI BibTeX RDF
21	Walid Gaaloul, Sami Bhiri, Mohsen Rouached	Event-Based Design and Runtime Verification of Composite Service Transactional Behavior.	IEEE Trans. Serv. Comput.	2010	DBLP DOI BibTeX RDF	transactional Web services, reliability, verification, monitoring, Web services compositions
21	Domenico Bianculli, Walter Binder, Mauro Luigi Drago	SOABench: performance evaluation of service-oriented middleware made easy.	ICSE (2)	2010	DBLP DOI BibTeX RDF	experiment automation, testbed generation, performance evaluation, middleware, web service compositions
21	Ladislav J. Kohout	Boolean and Fuzzy Relations.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Local relational properties, Interiors, Pre-order, BK-products, Relational compositions, Nonassociative products, Generalized morphism, Universal properties of relations, n-ary relation, Value analysis, Artificial intelligence, Decision theory, Psychology, Equivalences, Tolerances, Medicine, Scientific applications, Closures, Fuzzy relations, Engineering applications
21	Stephan Mäs	Reasoning on Spatial Relations between Entity Classes.	GIScience	2008	DBLP DOI BibTeX RDF	Class Level Relations, Conceptual Neighbourhood, Compositions, Reasoning, Spatial Relations, Constraint Networks
21	Thomas Weise 0001, Steffen Bleul, Diana Elena Comes, Kurt Geihs	Different Approaches to Semantic Web Service Composition.	ICIW	2008	DBLP DOI BibTeX RDF	Semantic Compositions, IDDFS, Genetic Algorithm, Semantic Web, Web Service Composition, Greedy Search