Search results for "substitutability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Haris Aziz 0001, Markus Brill, Paul Harrenstein	Testing Substitutability of Weak Preferences	CoRR	2012	DBLP BibTeX RDF
23	Octavian Carare, Alejandro Zentner	Program substitutability in network television: Evidence from Argentina.	Inf. Econ. Policy	2012	DBLP DOI BibTeX RDF
23	Hongmin Ren, Jin Liu 0009	Service substitutability analysis based on behavior automata.	Innov. Syst. Softw. Eng.	2012	DBLP DOI BibTeX RDF
23	John William Hatfield, Nicole Immorlica, Scott Duke Kominers	Testing substitutability.	Games Econ. Behav.	2012	DBLP DOI BibTeX RDF
23	Andres Flores, Macario Polo	Testing-based process for component substitutability.	Softw. Test. Verification Reliab.	2012	DBLP DOI BibTeX RDF
23	Luxi Chen, Linpeng Huang, Chen Li 0009	Component Substitutability Behavior Consistency Verification Based on Architecture-driven Development.	IPDPS Workshops	2012	DBLP DOI BibTeX RDF
23	Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani	WCSP Integration of Soft Neighborhood Substitutability.	CP	2012	DBLP DOI BibTeX RDF
23	Ryo Yoshinaka	Efficient learning of multiple context-free languages with multidimensional substitutability from positive data.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
23	Ning Chen 0005, Arpita Ghosh, Sergei Vassilvitskii	Optimal Envy-Free Pricing with Metric Substitutability.	SIAM J. Comput.	2011	DBLP DOI BibTeX RDF
23	Feng Guo 0008, Yi Wang 0047, Huiqun Zhao	Deciding Substitutability of Web Services with Petri Net Reduction Techniques.	ACIS-ICIS	2011	DBLP DOI BibTeX RDF
23	Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven Prestwhich, Eugene C. Freuder	A Partial Taxonomy of Substitutability and Interchangeability	CoRR	2010	DBLP BibTeX RDF
23	Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi 0001	SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability	CoRR	2010	DBLP BibTeX RDF
23	Meriem Ouederni, Gwen Salaün	Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability	WCSI	2010	DBLP DOI BibTeX RDF
23	Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa	Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems.	SoMeT	2010	DBLP DOI BibTeX RDF
23	Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi 0001	SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.	SEFM	2010	DBLP DOI BibTeX RDF
23	Christian Stahl, Karsten Wolf	Deciding service composition and substitutability using extended operating guidelines.	Data Knowl. Eng.	2009	DBLP DOI BibTeX RDF
23	Atsushi Shimoda, Hidenori Kosugi, Takafumi Karino, Norihisa Komoda	Recommendation method for build to order products considering substitutability of specifications and stock consumption balance of components.	SOLI	2009	DBLP DOI BibTeX RDF
23	Zachary J. Oster, Samik Basu 0001	Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers.	ICTAI	2009	DBLP DOI BibTeX RDF
23	Dominique D'Almeida, Lakhdar Sais	Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency.	ICTAI	2009	DBLP DOI BibTeX RDF
23	Mustafa Karakul, Lap Mui Ann Chan	Analytical and managerial implications of integrating product substitutability in the joint pricing and procurement problem.	Eur. J. Oper. Res.	2008	DBLP DOI BibTeX RDF
23	Andres Flores, Macario Polo Usaola	Testing-Based Component Assessment for Substitutability.	ICEIS (3-2)	2008	DBLP BibTeX RDF
23	Carlos Flavián 0001, Raquel Gurrea 0001	Perceived substitutability between digital and physical channels: the case of newspapers.	Online Inf. Rev.	2007	DBLP DOI BibTeX RDF
23	Meriem Belguidoum, Fabien Dagnat	Formalization of Component Substitutability.	FACS	2007	DBLP DOI BibTeX RDF
23	Dinesh Garg, Kamal Jain, Kunal Talwar, Vijay V. Vazirani	A primal-dual algorithm for computing Fisher equilibrium in the absence of gross substitutability property.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
23	Ivana Cerná, Pavlína Vareková, Barbora Zimmerová	Component Substitutability via Equivalencies of Component-Interaction Automata.	FACS	2006	DBLP DOI BibTeX RDF
23	Marcello Bonfè, Cesare Fantuzzi, Cristian Secchi	Verification of Behavioral Substitutability in Object-Oriented Models for Industrial Controllers.	ICRA	2005	DBLP DOI BibTeX RDF
23	Ben Hutchinson	MDL-based Acquisition of Substitutability Relationships between Discourse Connectives.	IJCAI	2005	DBLP BibTeX RDF
23	Ben Hutchinson	Modelling the Substitutability of Discourse Connectives.	ACL	2005	DBLP BibTeX RDF
23	Christian E. Weber	More on complementarity and substitutability in the transshipment problem.	Eur. J. Oper. Res.	2004	DBLP DOI BibTeX RDF
23	Valeria De Antonellis, Michele Melchiori, Barbara Pernici, Pierluigi Plebani	A Methodology for e -Service Substitutability in a Virtual District Environment.	CAiSE	2003	DBLP DOI BibTeX RDF	dynamic substitution, virtual districts, e-Service, compatibility
23	Charles Figuieres	Complementarity, Substitutability and Strategic Accumulation of Capital.	IGTR	2002	DBLP DOI BibTeX RDF
23	Twittie Senivongse	Behavioural Mapping for Service Substitutability.	ECOOP Workshops	1999	DBLP BibTeX RDF
23	You-Chin Fuh, Stefan Deßloch, Weidong Chen 0011, Nelson Mendonça Mattos, Brian T. Tran, Bruce G. Lindsay 0001, Linda DeMichel, Serge Rielau, Danko Mannhaupt	Implementation of SQL3 Structured Types with Inheritance and Value Substitutability.	VLDB	1999	DBLP BibTeX RDF
23	Yossi Gil	Extendability vs. Substitutability in OO Languages.	TOOLS (25)	1997	DBLP DOI BibTeX RDF
23	Ian Maung	On Simulation, Subtyping and Substitutability in Sequential Object Systems.	Formal Aspects Comput.	1995	DBLP DOI BibTeX RDF
23	Guido Moerkotte, Andreas Zachmann	Multiple Substitutability Without Affecting the Taxonomy.	EDBT	1992	DBLP DOI BibTeX RDF
23	Yale M. Braunstein	Information as a factor of production: Substitutability and productivity.	Inf. Soc.	1985	DBLP DOI BibTeX RDF
14	Antonin Chazalet, Philippe Lalanda	Deployment of Services Applications in Services Execution Environments.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
14	Islam Elgedawy	Automatic generation for web services conversations adapters.	ISCIS	2009	DBLP DOI BibTeX RDF
14	Marcus Alanen, Ivan Porres	A metamodeling language supporting subset and union properties.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Redefinitions, Package merges, Extension mechanisms, Software modeling languages, UML, Graph theory, Graphs, Metamodeling, MOF, Subsets, Unions
14	Islam Elgedawy, Zahir Tari, James A. Thom	Correctness-aware high-level functional matching approaches for semantic Web services.	ACM Trans. Web	2008	DBLP DOI BibTeX RDF	High-level functional matching, semantic Web services, service aggregation
14	Bruno Codenotti, Benton McCune, Sriram V. Pemmaraju, Rajiv Raman 0001, Kasturi R. Varadarajan	An experimental study of different approaches to solve the market equilibrium problem.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	Market equilibrium
14	Dusit Niyato, Ekram Hossain 0001	Competitive Pricing for Spectrum Sharing in Cognitive Radio Networks: Dynamic Game, Inefficiency of Nash Equilibrium, and Collusion.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
14	Tamás Fleiner	The Stable Roommates Problem with Choice Functions.	IPCO	2008	DBLP DOI BibTeX RDF
14	Satoshi Hoshino, Jun Ota 0001	Reactive robot control with hybrid operational models in a seaport container terminal considering system reliability.	IROS	2008	DBLP DOI BibTeX RDF
14	Ryo Yoshinaka	Identification in the Limit of k, l-Substitutable Context-Free Languages.	ICGI	2008	DBLP DOI BibTeX RDF
14	Fu-Shiung Hsieh, Shih-Min Tsai	Combinatorial Reverse Auction Based on Lagrangian Relaxation.	APSCC	2008	DBLP DOI BibTeX RDF
14	Hang Qin, Hui Wang 0002, Huaibei Zhou	A Selfish Game-Theoretic Approach for Cognitive Radio Networks with Dynamic Spectrum Sharing.	CSSE (4)	2008	DBLP DOI BibTeX RDF
14	Saggi Nevo, Michael R. Wade	Development and Validation of Scales to Measure the Strategic Potential of IT-Enabled Resources: A Resource-Based Approach.	HICSS	2008	DBLP DOI BibTeX RDF
14	Andres Flores, Macario Polo Usaola	Testing-based assessment process for upgrading component systems.	ICSM	2008	DBLP DOI BibTeX RDF
14	Sourav Pal, Sumantra R. Kundu, Mainak Chatterjee, Sajal K. Das 0001	Combinatorial Reverse Auction based Scheduling in Multi-Rate Wireless Systems.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	multi-rate wireless system, Scheduling, performance optimization, reverse auction
14	Alexander Clark	Learning deterministic context free grammars: The Omphalos competition.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	NTS languages, Grammatical inference, Context Free Languages
14	Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre	Design in CommUnity with Extension Morphisms.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
14	Dong Ha Nguyen, Mario Südholt	Property-Preserving Evolution of Components Using VPA-Based Aspects.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
14	Rahul Garg 0001, Sanjiv Kapoor	Market Equilibrium Using Auctions for a Class of Gross-Substitute Utilities.	WINE	2007	DBLP DOI BibTeX RDF
14	Deeparnab Chakrabarty, Nikhil R. Devanur	On Competitiveness in Uniform Utility Allocation Markets.	WINE	2007	DBLP DOI BibTeX RDF
14	Francesco Calore, Daniele Lombardi, Enrico Mussi, Pierluigi Plebani, Barbara Pernici	Retrieving Substitute Services Using Semantic Annotations: A Foodshop Case Study.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
14	Sourav Pal, Preetam Ghosh, Amin R. Mazloom, Sumantra R. Kundu, Sajal K. Das 0001	Two Phase Scheduling Algorithm for Maximizing the Number of Satisfied Users in Multi-Rate Wireless Systems.	WOWMOM	2007	DBLP DOI BibTeX RDF
14	Macneil Shonle, William G. Griswold, Sorin Lerner	Beyond refactoring: a framework for modular maintenance of crosscutting design idioms.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	design patterns, refactoring
14	Xin Chen 0027, Jifeng He 0001, Zhiming Liu 0001, Naijun Zhan	A Model of Component-Based Programming.	FSEN	2007	DBLP DOI BibTeX RDF	Glue Codes, Protocols, Components, Composition, Refinement, Contracts, Application Programs
14	Arnd Poetzsch-Heffter, Jan Schäfer 0002	A Representation-Independent Behavioral Semantics for Object-Oriented Components.	FMOODS	2007	DBLP DOI BibTeX RDF
14	Jean-Marie Jacquet, Isabelle Linden	Towards a Theory of Refinement in Timed Coordination Languages.	COORDINATION	2007	DBLP DOI BibTeX RDF
14	Macneil Shonle	Modular-Like Transformations and Style Checking for Crosscutting Programming Concepts.	ICSE Companion	2007	DBLP DOI BibTeX RDF
14	David Wible, Chin-Hwa Kuo, Meng Chang Chen, Nai-Lung Tsao, Chong-Fu Hong	A Ubiquitous Agent for Unrestricted Vocabulary Learning in Noisy Digital Environments.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
14	Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante	Composing Web Services with PEWS: A Trace-Theoretical Approach.	ECOWS	2006	DBLP DOI BibTeX RDF
14	Marcus Alanen, Ivan Porres	Basic Operations over Models Containing Subset and Union Properties.	MoDELS	2006	DBLP DOI BibTeX RDF	subset and derived properties, UML, metamodeling, MOF
14	Su-En Tan, Anders Henten	New Mobile Technologies: Sustaining or Disruptive?.	ICMB	2006	DBLP DOI BibTeX RDF
14	Alexander Clark, Rémi Eyraud	Identification in the Limit of Substitutable Context-Free Languages.	ALT	2005	DBLP DOI BibTeX RDF
14	Livio Cricelli, Francesca Di Pillo, Massimo Gastaldi	The Mobile Telecommunications Industry: the Competition under the Hypothesis of Price Discrimination Strategy.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
14	Mario Südholt	A Model of Components with Non-regular Protocols.	SC@ETAPS	2005	DBLP DOI BibTeX RDF
14	Bruno Codenotti, Benton McCune, Sriram Penumatcha, Kasturi R. Varadarajan	Market Equilibrium for CES Exchange Economies: Existence, Multiplicity, and Computation.	FSTTCS	2005	DBLP DOI BibTeX RDF
14	Ruifeng Xu, Qin Lu 0001	A Multi-stage Chinese Collocation Extraction System.	ICMLC	2005	DBLP DOI BibTeX RDF
14	Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof	Stuck-Free Conformance.	CAV	2004	DBLP DOI BibTeX RDF
14	Heike Wehrheim	Refinement and Consistency in Component Models with Multiple Views.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
14	Islam Elgedawy, Zahir Tari, Michael Winikoff	Exact functional context matching for web services.	ICSOC	2004	DBLP DOI BibTeX RDF	context matching, functional matching, web services, service discovery, service matching
14	Mike Hörhammer, Prabuddha Biswas	A Rule Engine for Location Based Content Syndication.	Mobile Data Management	2004	DBLP DOI BibTeX RDF
14	Shuyu Li, Jian Wu, Zhengguo Hu	A Contract-Based Component Model for Embedded Systems.	QSIC	2004	DBLP DOI BibTeX RDF
14	Benoît Hudson, Tuomas Sandholm	Effectiveness of Query Types and Policies for Preference Elicitation in Combinatorial Auctions.	AAMAS	2004	DBLP DOI BibTeX RDF
14	Philip Mayer	Analyzing the use of interfaces in large OO projects.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	context-specific interfaces, partial interfaces, Java, metrics, interfaces, refactorings, roles, tool support, OO programming
14	Nabil Hameurlain	Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems.	CEEMAS	2003	DBLP DOI BibTeX RDF
14	Wolfram Conen, Tuomas Sandholm	Differential-revelation VCG mechanisms for combinatorial auctions.	EC	2003	DBLP DOI BibTeX RDF	combinatorial auctions, preference elicitation
14	Yuan Wang, Zhiwei Xu 0002, Yuzhong Sun	Research of Online Expandability of Service Grid.	GCC (2)	2003	DBLP DOI BibTeX RDF
14	Benoît Hudson, Tuomas Sandholm	Generalizing preference elicitation in combinatorial auctions.	AAMAS	2003	DBLP DOI BibTeX RDF	combinatorial auctions, preference elicitation, electronic auctions
14	David Harel, Orna Kupferman	On Object Systems and Behavioral Inheritance.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	object systems, trace containment, simulation, verification, inheritance, Object-oriented analysis and design
14	Sriram K. Rajamani, Jakob Rehof	Conformance Checking for Models of Asynchronous Message Passing Software.	CAV	2002	DBLP DOI BibTeX RDF
14	Domenico Cotroneo, Cristiano di Flora, Stefano Russo 0001	A Jini Framework for Distributed Service Flexibility.	PDP	2002	DBLP DOI BibTeX RDF
14	Menno van Zaanen	Implementing Alignment-Based Learning.	ICGI	2002	DBLP DOI BibTeX RDF
14	Suad Alagic, Svetlana Kouznetsova	Behavioral Compatibility of Self-Typed Theories.	ECOOP	2002	DBLP DOI BibTeX RDF
14	Luis Iribarne, José M. Troya, Antonio Vallecillo	Selecting Software Components with Multiple Interfaces.	EUROMICRO	2002	DBLP DOI BibTeX RDF
14	Benoît Hudson, Tuomas Sandholm	Effectiveness of Preference Elicitation in Combinatorial Auctions.	AMEC	2002	DBLP DOI BibTeX RDF
14	Wolfram Conen, Tuomas Sandholm	Differential -Revelation VCG Mechanisms for Combinatorial Auctions.	AMEC	2002	DBLP DOI BibTeX RDF
14	Kidane Asrat Ghebreamiak, Arne Andersson	Caching in multi-unit combinatorial auctions.	AAMAS	2002	DBLP DOI BibTeX RDF
14	Jan Bosch, Clemens A. Szyperski, Wolfgang Weck	6th Workshop on Component-Oriented Programming.	ECOOP Workshops	2001	DBLP DOI BibTeX RDF
14	Wolfram Conen, Tuomas Sandholm	Preference elicitation in combinatorial auctions.	EC	2001	DBLP DOI BibTeX RDF
14	Shmuel S. Oren	Design of Ancillary Service Markets.	HICSS	2001	DBLP DOI BibTeX RDF
14	Clemens Fischer, Heike Wehrheim	Behavioural Subtyping Relations for Object-Oriented Formalisms.	AMAST	2000	DBLP DOI BibTeX RDF
14	Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann	Weak Subtyping and Genericity.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Genericity, Inheritance, Subtype, Conformance
14	Otto R. Koppius	Dimensions of Intangible Goods.	HICSS	1999	DBLP DOI BibTeX RDF	intangible goods, digital products, classification
14	Isabella Merlo, Elisa Bertino, Elena Ferrari, Giovanna Guerrini	A Temporal Object-Oriented Data Model with Multiple Granularities.	TIME	1999	DBLP DOI BibTeX RDF	temporal granularities, object-oriented inheritance hierarchies, temporal databases
14	Janusz Kacprzyk, Lyfie Sugianto	Multistage fuzzy control involving objective and subjective aspects.	KES (3)	1998	DBLP DOI BibTeX RDF