Search results for "substitutability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Nabil Hameurlain	Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS.	ESAW	2007	DBLP DOI BibTeX RDF
81	Wady Naanaa	A domain decomposition algorithm for constraint satisfaction.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	Constraint graph orientation, domain decomposition algorithms, value substitutability, constraint satisfaction problems
78	Jindian Su, Shanshan Yu, Heqing Guo	Analysis of Web Service Substitutability Based on Typed Pi-Calculus.	EUC (2)	2008	DBLP DOI BibTeX RDF
78	Nabil Hameurlain	Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS.	CEEMAS	2007	DBLP DOI BibTeX RDF
78	Mahdi Niamanesh, Rasool Jalili	Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata.	FSEN	2007	DBLP DOI BibTeX RDF
78	Nabil Hameurlain	Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification.	SEFM	2007	DBLP DOI BibTeX RDF
76	Christian Stahl, Peter Massuthe, Jan Bretschneider	Deciding Substitutability of Services with Operating Guidelines.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Open nets, Service substitutability, Operating guidelines
76	Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright	Class Refinement as Semantics of Correct Object Substitutability.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing
64	Jindian Su, Shanshan Yu, Heqing Guo	Dynamic Substitutability Analysis of Web Service Composition via Extended Pi-Calculus.	EUC (1)	2008	DBLP DOI BibTeX RDF
64	Nabil Hameurlain	Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems.	CEEMAS	2005	DBLP DOI BibTeX RDF
64	Dinesh Garg, Kamal Jain, Kunal Talwar, Vijay V. Vazirani	A Primal-Dual Algorithm for Computing Fisher Equilibrium in the Absence of Gross Substitutability Property.	WINE	2005	DBLP DOI BibTeX RDF
55	Mahdi Niamanesh, Rasool Jalili	A Formalism for Recongurability Analysis in Distributed Non-Blocking Components.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
55	Bruno Codenotti, Sriram V. Pemmaraju, Kasturi R. Varadarajan	On the polynomial time computation of equilibria for certain exchange economies.	SODA	2005	DBLP BibTeX RDF
55	Stefano Bistarelli, Boi Faltings, Nicoleta Neagu	Interchangeability in Soft CSPs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
53	Kevin Bierhoff, Jonathan Aldrich	Lightweight object specification with typestates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	union and intersection types, refinement, substitutability, typestate, behavioral subtyping
53	Nicoleta Neagu, Boi Faltings	Soft Interchangeability for Case Adaptation.	ICCBR	2003	DBLP DOI BibTeX RDF	case adaptation, hard/soft constraint satisfaction problems, substitutability, interchangeability
53	Ralf H. Reussner	Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.	SOFSEM	2002	DBLP DOI BibTeX RDF	software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability
50	Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha 0001	Verification of evolving software via component substitutability analysis.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Automata learning, Software engineering, Model checking, Predicate abstraction, Compositional verification, Assume-guarantee reasoning
50	Ning Chen 0005, Arpita Ghosh, Sergei Vassilvitskii	Optimal envy-free pricing with metric substitutability.	EC	2008	DBLP DOI BibTeX RDF	envy-free pricing, algorithms
50	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	On Context-Specific Substitutability of Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
50	Premysl Brada, Lukas Valenta	Practical Verification of Component Substitutability Using Subtype Relation.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
50	Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha 0001	Dynamic Component Substitutability Analysis.	FM	2005	DBLP DOI BibTeX RDF	Verification of Evolving Software, Learning Regular Sets, Assume/Guarantee Reasoning, Software Model Checking
50	Nabil Hameurlain	On Compatibility and Behavioural Substitutability of Component Protocols.	SEFM	2005	DBLP DOI BibTeX RDF
50	Sabine Moisan, Annie Ressouche, Jean-Paul Rigault	Towards Formalizing Behavioral Substitutability in Component Frameworks.	SEFM	2004	DBLP DOI BibTeX RDF
50	Nabil Hameurlain	Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols.	CEEMAS	2001	DBLP DOI BibTeX RDF
41	Nabil Hameurlain	A Formal Framework for Component Pr otocols Behavioural Compatibility.	APSEC	2006	DBLP DOI BibTeX RDF
41	Islam Elgedawy, Zahir Tari, James A. Thom	A High-Level Functional Matching for Semantic Web Services.	ICSOC	2005	DBLP DOI BibTeX RDF
39	Carlos Canal, Lidia Fuentes, Ernesto Pimentel 0001, José M. Troya, Antonio Vallecillo	Adding Roles to CORBA Objects.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	compatibility and substitutability of components, protocols, software components, component-based software development, Interface definition languages
39	Jian-Cheng Dai, Gwo-Dong Chen, Chen-Chung Liu, Baw-Jhiune Liu	A temporal behavioral object model for object-oriented databases.	COMPSAC	1997	DBLP DOI BibTeX RDF	temporal behavioral object model, data history management, data value changes, DSS debugging systems, DSS maintenance systems, database debugging systems, database maintenance systems, method signatures, method invocation network, subtype object substitutability enforcement, class inheritance hierarchy, database application developers, event effect querying, decision support system, policies, finite state machines, object-oriented databases, object-oriented databases, type system, temporal databases, users, procedures, data objects, decision makers
36	Ryo Yoshinaka	Learning Mildly Context-Sensitive Languages with Multidimensional Substitutability from Positive Data.	ALT	2009	DBLP DOI BibTeX RDF
36	Islam Elgedawy, Zahir Tari, Michael Winikoff	Scenario Matching Using Functional Substitutability in Web Services.	WISE	2004	DBLP DOI BibTeX RDF
36	Steven D. Prestwich	Full Dynamic Substitutability by SAT Encoding.	CP	2004	DBLP DOI BibTeX RDF
36	Rahul Garg 0001, Sanjiv Kapoor, Vijay V. Vazirani	An Auction-Based Market Equilibrium Algorithm for the Separable Gross Substitutability Case.	APPROX-RANDOM	2004	DBLP DOI BibTeX RDF
28	John William Hatfield, Scott Duke Kominers	Matching in networks with bilateral contracts: extended abstract.	EC	2010	DBLP DOI BibTeX RDF	quasisubmodularity, networks, stability, matching, substitutes
28	Benton McCune	Extending Polynomial Time Computability to Markets with Demand Correspondences.	WINE	2007	DBLP DOI BibTeX RDF
28	Bruno Codenotti, Benton McCune, Kasturi R. Varadarajan	Market equilibrium via the excess demand function.	STOC	2005	DBLP DOI BibTeX RDF	tâtonnement, algorithms, approximation, polynomial-time algorithms, market equilibrium
28	B. Shekar, Rajesh Natarajan	A Transaction-Based Neighbourhood-Driven Approach to Quantifying Interestingness of Association Rules.	ICDM	2004	DBLP DOI BibTeX RDF
28	Heike Wehrheim	Behavioral Subtyping Relations for Active Objects.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	object-orientation, refinement, CSP, behavioral subtyping
28	Stefano Bistarelli, Boi Faltings, Nicoleta Neagu	Interchangeability in Soft CSPs.	CP	2002	DBLP DOI BibTeX RDF
28	Tuomas Sandholm, Subhash Suri, Andrew Gilpin, David Levine	Winner determination in combinatorial auction generalizations.	AAMAS	2002	DBLP DOI BibTeX RDF
28	David Harel, Orna Kupferman	On the Behavioral Inheritance of State-Based Objects.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
28	Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor	Using Object-Oriented Typing to Support Architectural Design in the C2 Style.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C++
26	Anish Arora, Sandeep S. Kulkarni, Murat Demirbas	Resettable vector clocks.	PODC	2000	DBLP DOI BibTeX RDF	bounded-space, component substitutability, reset events, fault-tolerance, stabilization, vector clocks
23	Che-Jui Chang, Danrui Li, Seonghyeon Moon, Mubbasir Kapadia	On the Equivalency, Substitutability, and Flexibility of Synthetic Data.	CoRR	2024	DBLP DOI BibTeX RDF
23	Jianghua Wu, Zepeng Wang, Chenchen Zhao	Effects of production capacity and substitutability on optimal pricing and inventory policies.	Ann. Oper. Res.	2023	DBLP DOI BibTeX RDF
23	Jasper Jian, Siva Reddy	Syntactic Substitutability as Unsupervised Dependency Syntax.	EMNLP	2023	DBLP DOI BibTeX RDF
23	Jasper Jian, Siva Reddy	Syntactic Substitutability as Unsupervised Dependency Syntax.	CoRR	2022	DBLP DOI BibTeX RDF
23	Elizabeth Schroeder, Carol Horton Tremblay, Victor J. Tremblay	CEO Bias and Product Substitutability in Oligopoly Games.	Games	2022	DBLP DOI BibTeX RDF
23	Anieke van der Walt, Wilna L. Bean	Inventory management for the in-flight catering industry: A case of uncertain demand and product substitutability.	Comput. Ind. Eng.	2022	DBLP DOI BibTeX RDF
23	Sihua Ding	Link investment substitutability: A factor influencing network formation.	Games Econ. Behav.	2022	DBLP DOI BibTeX RDF
23	David A. Joyner, Bobbie Lynn Eicher	Taking Stock of MOOCs and Credit Substitutability.	LWMOOCS	2022	DBLP DOI BibTeX RDF
23	Hanen Ochi, Kais Klai	Checking Composition-Aware Service Substitutability.	ISPA/BDCloud/SocialCom/SustainCom	2022	DBLP DOI BibTeX RDF
23	Ting Chen, Feng Yang, Xiaolong Guo	Optimal bundling in a distribution channel in the presence of substitutability and complementarity.	Int. J. Prod. Res.	2021	DBLP DOI BibTeX RDF
23	Tae Hun Kim, Byounggu Choi, Jae-Nam Lee, Vallabh Sambamurthy	Portfolio effects of knowledge management strategies on firm performance: Complementarity or substitutability?	Inf. Manag.	2021	DBLP DOI BibTeX RDF
23	Marcos M. Salvatierra, Mario Salvatierra, Juan Gabriel Colonna	Short Communication: Optimally Solving the Unit-Demand Envy-Free Pricing Problem with Metric Substitutability in Cubic Time.	Algorithms	2021	DBLP DOI BibTeX RDF
23	Hina Yoshida, Hiroshi Uehara	Detecting Substitutability of Cooking Steps based on Prior Knowledge Embedded Hidden Markov Model.	ICDE Workshops	2021	DBLP DOI BibTeX RDF
23	José Nelas, Joana Dias	Optimal Emergency Vehicles Location: An approach considering the hierarchy and substitutability of resources.	Eur. J. Oper. Res.	2020	DBLP DOI BibTeX RDF
23	Mojtaba Shakeri, Chi Xu, Puay Siew Tan	An Inventory Optimization Model Under Demand Uncertainty for Autonomous Multi-site Inventory Planning with Material Substitutability and Transshipment.	IEEM	2020	DBLP DOI BibTeX RDF
23	Mohaddeseh Roshan, Reza Tavakkoli-Moghaddam, Yaser Rahimi	A two-stage approach to agile pharmaceutical supply chain management with product substitutability in crises.	Comput. Chem. Eng.	2019	DBLP DOI BibTeX RDF
23	Susumu Kawanaka, Naoyuki Kamiyama	An improved algorithm for testing substitutability of weak preferences.	Math. Soc. Sci.	2019	DBLP DOI BibTeX RDF
23	Guofang Nan, Lina Yao, Yi-Chun (Chad) Ho, Zhiyong Li 0012, Minqiang Li	An Economic Analysis of Platform Protection in the Presence of Content Substitutability.	J. Manag. Inf. Syst.	2019	DBLP DOI BibTeX RDF
23	Xavier Mazur, Marco Rinaldi, Francesco Viti	On the substitutability of traffic light and pricing controllers in transportation networks.	MT-ITS	2019	DBLP DOI BibTeX RDF
23	Cosmina Croitoru, Kurt Mehlhorn	On testing substitutability.	Inf. Process. Lett.	2018	DBLP DOI BibTeX RDF
23	Behzad Zahiri, Payman Jula, Reza Tavakkoli-Moghaddam	Design of a pharmaceutical supply chain network under uncertainty considering perishability and substitutability of products.	Inf. Sci.	2018	DBLP DOI BibTeX RDF
23	Guiyun Feng, Xiaobo Li 0002, Zizhuo Wang 0001	On substitutability and complementarity in discrete choice models.	Oper. Res. Lett.	2018	DBLP DOI BibTeX RDF
23	Cosmina Croitoru, Kurt Mehlhorn	On testing substitutability.	CoRR	2018	DBLP BibTeX RDF
23	Kohei Takeda, Toyoki Hosoe, Takayuki Watanabe, Nobuo Matsubayashi	Stability analysis of horizontal mergers in a market with asymmetric substitutability.	Math. Soc. Sci.	2018	DBLP DOI BibTeX RDF
23	Sofiane Bourouz, Nadia Zeghib	On context-independent and context-aware cloud services substitutability verification.	Int. J. Crit. Comput. Based Syst.	2018	DBLP DOI BibTeX RDF
23	Christophe Van Gysel, Maarten de Rijke, Evangelos Kanoulas	Mix 'n Match: Integrating Text Matching and Product Substitutability within Product Search.	CIKM	2018	DBLP DOI BibTeX RDF
23	Jackson Maddox, Yuheng Long, Hridesh Rajan	Large-scale study of substitutability in the presence of effects.	ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
23	Yosi Agustina Hidayat, Tota Simatupang	Supplier Selection Model Development for Modular Product with Substitutability and Controllable Lead Time.	IEEM	2018	DBLP DOI BibTeX RDF
23	Muhammad Syafiq Bin Ab Malek, Kazuya Nakahori, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi	On analysis of substitutability for system resilience in IoT system based on PN2.	ICCE	2018	DBLP DOI BibTeX RDF
23	Jonas Ingels, Broos Maenhout	Employee substitutability as a tool to improve the robustness in personnel scheduling.	OR Spectr.	2017	DBLP DOI BibTeX RDF
23	Hamed Ahmadi, Irene Macaluso, Ismael Gómez Miguelez, Linda Doyle, Luiz A. DaSilva	Substitutability of Spectrum and Cloud-Based Antennas in Virtualized Wireless Networks.	IEEE Wirel. Commun.	2017	DBLP DOI BibTeX RDF
23	Dianxiong Liu, Yuhua Xu 0001, Yitao Xu, Qihui Wu, Jianjun Jing, Yuanhui Zhang, Alagan Anpalagan	Distributed Relay Selection for Heterogeneous UAV Communication Networks Using A Many-to-Many Matching Game Without Substitutability.	CoRR	2017	DBLP BibTeX RDF
23	Sangram Vilasrao Kadam	Unilateral substitutability implies substitutable completability in many-to-one matching with contracts.	Games Econ. Behav.	2017	DBLP DOI BibTeX RDF
23	Renato Paes Leme	Gross substitutability: An algorithmic survey.	Games Econ. Behav.	2017	DBLP DOI BibTeX RDF
23	Alexandre Le Borgne, David Delahaye, Marianne Huchard, Christelle Urtado, Sylvain Vauttier	Substitutability-Based Version Propagation to Manage the Evolution of Three-Level Component-Based Architectures.	SEKE	2017	DBLP DOI BibTeX RDF
23	Yang Zhang 0025, Zehui Xiong, Dusit Niyato, Ping Wang 0001, Jiangming Jin	A Game-Theoretic Analysis of Complementarity, Substitutability and Externalities in Cloud Services.	GLOBECOM	2017	DBLP DOI BibTeX RDF
23	Hannah Rohde, Anna Dickinson, Nathan Schneider 0001, Annie Louis, Bonnie L. Webber	Exploring Substitutability through Discourse Adverbials and Multiple Judgments.	IWCS(1)	2017	DBLP BibTeX RDF
23	Jonas Ingels, Broos Maenhout	A Memetic Algorithm to Maximise the Employee Substitutability in Personnel Shift Scheduling.	EvoCOP	2017	DBLP DOI BibTeX RDF
23	Dianxiong Liu, Yuhua Xu 0001, Yitao Xu, Qihui Wu, Jianjun Jing, Yuanhui Zhang, Alagan Anpalagan	Distributed relay selection for heterogeneous UAV communication networks using a many-to-many matching game without substitutability.	ICCC	2017	DBLP DOI BibTeX RDF
23	Sema Akkoyunlu, Cristina E. Manfredotti, Antoine Cornuéjols, Nicolas Darcel, Fabien Delaere	Investigating Substitutability of Food Items in Consumption Data.	HealthRecSys@RecSys	2017	DBLP BibTeX RDF
23	Eugene C. Freuder, Richard J. Wallace	Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems.	GCAI	2017	DBLP DOI BibTeX RDF
23	Winston T. Lin, Ta-Wei (Daniel) Kao, Chia-Ching Chou, Raj Sharman, Natalie C. Simpson	The complementarity and substitutability relationships between information technology and benefits and duration of unemployment.	Decis. Support Syst.	2016	DBLP DOI BibTeX RDF
23	Konstantin Kogan, Fouad El Ouardighi, Tatyana Chernonog	Learning by doing with spillovers: Strategic complementarity versus strategic substitutability.	Autom.	2016	DBLP DOI BibTeX RDF
23	Hamed Ahmadi, Irene Macaluso, Ismael Gomez-Miguelez, Linda Doyle, Luiz A. DaSilva	Substitutability of Spectrum and Cloud-based Antennas in Virtualised Wireless Networks.	CoRR	2016	DBLP BibTeX RDF
23	Claus-Peter H. Ernst, Bastian Stock, Tiago dos Santos Ferreira	The Usage of Augmented Reality Smartglasses: The Role of Perceived Substitutability.	AMCIS	2016	DBLP BibTeX RDF
23	Meghdad Farahmand, James Henderson 0001	Modeling the Non-Substitutability of Multiword Expressions with Distributional Semantics and a Log-Linear Model.	MWE@ACL	2016	DBLP DOI BibTeX RDF
23	Sofiane Bourouz, Nadia Zeghib	Towards formal checking of Web services substitutability.	ICAASE	2016	DBLP DOI BibTeX RDF
23	John William Hatfield, Scott Duke Kominers, Alexandru Nichifor, Michael Ostrovsky, Alexander Westkamp	Full Substitutability in Trading Networks.	EC	2015	DBLP DOI BibTeX RDF
23	Nabil Hameurlain	A compositional framework to the specification of service protocols controllability and substitutability.	Int. J. Comput. Math.	2014	DBLP DOI BibTeX RDF
23	Hirofumi Fukuyama, Yasunobu Maeda, Kazuyuki Sekitani, Jianming Shi	Input-output substitutability and strongly monotonic p-norm least distance DEA measures.	Eur. J. Oper. Res.	2014	DBLP DOI BibTeX RDF
23	Martin C. Cooper	Beyond Consistency and Substitutability.	CP	2014	DBLP DOI BibTeX RDF
23	Yuyu Yin, ShuiGuang Deng	Analysing and determining substitutability of different granularity Web services.	Int. J. Comput. Math.	2013	DBLP DOI BibTeX RDF
23	Haris Aziz 0001, Markus Brill, Paul Harrenstein	Testing substitutability of weak preferences.	Math. Soc. Sci.	2013	DBLP DOI BibTeX RDF
23	Yamine Aït Ameur, Abdelkrim Chebieb	Checking System Substitutability: An Application to Interactive Systems.	Modeling Approaches and Algorithms for Advanced Computer Applications	2013	DBLP DOI BibTeX RDF
23	Michael Pradel, Thomas R. Gross	Automatic testing of sequential and concurrent substitutability.	ICSE	2013	DBLP DOI BibTeX RDF
23	Wuliang Sun, Benoît Combemale, Steven Derrien, Robert B. France	Using Model Types to Support Contract-Aware Model Substitutability.	ECMFA	2013	DBLP DOI BibTeX RDF
23	Georges Bertrand Tamokwe Piaptie	Complementarity or Substitutability Between the Different Modes of Internet Access: A Property Rights-Based Analysis on Cybercafés Offerings with Data from Cameroon.	Electron. J. Inf. Syst. Dev. Ctries.	2012	DBLP DOI BibTeX RDF