Search results for "replaceability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid	Privacy-Aware Web Service Protocol Replaceability.	ICWS	2007	DBLP DOI BibTeX RDF
90	Vigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton	Sequential optimization in the absence of global reset.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	Sequential logic synthesis, no-reset latches, safe replaceability
70	Daniel Brand, Reinaldo A. Bergamaschi, Leon Stok	Be careful with don't cares.	ICCAD	1995	DBLP DOI BibTeX RDF	specifications, logic design, logic CAD, correctness, replaceability, don't cares
67	Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani	Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols.	ER	2007	DBLP DOI BibTeX RDF
59	Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton	Theory of safe replacements for sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
50	Boualem Benatallah, Hamid R. Motahari Nezhad	ServiceMosaic project: modeling, analysis and management of web services interactions.	APCCM	2006	DBLP BibTeX RDF	web services, adaptation, compatibility, replaceability, business protocols
48	Khalid Belhajjame	Semantic Replaceability of eScience Web Services.	eScience	2007	DBLP DOI BibTeX RDF
48	Hironori Washizaki, Yoshiaki Fukazawa	A Retrieval Technique for Software Components Using Directed Replaceability Similarity.	OOIS	2002	DBLP DOI BibTeX RDF
40	Meurig Beynon	Replacement in Monotone Boolean Networks: An Algebraic Perspective.	FSTTCS	1984	DBLP DOI BibTeX RDF
28	Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli	Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.	MEMOCODE	2023	DBLP BibTeX RDF
28	Peiyao Sheng, Gerui Wang, Kartik Nayak, Sreeram Kannan, Pramod Viswanath	Player-Replaceability and Forensic Support Are Two Sides of the Same (Crypto) Coin.	FC (1)	2023	DBLP DOI BibTeX RDF
28	Peiyao Sheng, Gerui Wang, Kartik Nayak, Sreeram Kannan, Pramod Viswanath	Player-Replaceability and Forensic Support are Two Sides of the Same (Crypto) Coin.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
28	Christian Badertscher, Julia Hesse, Vassilis Zikas	On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger.	TCC (2)	2021	DBLP DOI BibTeX RDF
28	Peter Taraba	Word Replaceability Through Word Vectors.	SN Comput. Sci.	2020	DBLP DOI BibTeX RDF
28	Christian Badertscher, Julia Hesse, Vassilis Zikas	On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
28	Adrija Bhattacharya, Sankhayan Choudhury, Agostino Cortesi	Replaceability and negotiation in a cloud service ecosystem.	J. Cloud Comput.	2019	DBLP DOI BibTeX RDF
28	Lalit Purohit, Sandeep Kumar 0004	Replaceability Based Web Service Selection Approach.	HiPC	2019	DBLP DOI BibTeX RDF
28	Richard Wallace	Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns.	GCAI	2018	DBLP DOI BibTeX RDF
28	Ringo Baumann	On the Nature of Argumentation Semantics: Existence and Uniqueness, Expressibility, and Replaceability.	FLAP	2017	DBLP BibTeX RDF
28	Georgia M. Kapitsaki	Creating and utilizing section-level Web service tags in service replaceability.	Serv. Oriented Comput. Appl.	2017	DBLP DOI BibTeX RDF
28	Hiroki Teranishi, Hiroyuki Shindo, Yuji Matsumoto 0001	Coordination Boundary Identification with Similarity and Replaceability.	IJCNLP(1)	2017	DBLP BibTeX RDF
28	Aaron Hunter 0001	On the Replaceability of Computational Agents in an Ethical Theory.	ICAART (2)	2017	DBLP BibTeX RDF
28	Eugene C. Freuder, Richard J. Wallace	Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems.	GCAI	2017	DBLP DOI BibTeX RDF
28	Hussein Al-Helal, Rose F. Gamble	Introducing Replaceability into Web Service Composition.	IEEE Trans. Serv. Comput.	2014	DBLP DOI BibTeX RDF
28	ZhangBing Zhou, Walid Gaaloul, Lei Shu 0001, Samir Tata, Sami Bhiri	Assessing the replaceability of service protocols in mediated service interactions.	Future Gener. Comput. Syst.	2013	DBLP DOI BibTeX RDF
28	ZhangBing Zhou, Feng Gao 0003, Lei Shu 0001	Service Protocol Replaceability Assessment in Mediated Service Interactions.	ICC	2011	DBLP DOI BibTeX RDF
28	Arjan J. Mooij, Christian Stahl, Marc Voorhoeve	Relating fair testing and accordance for service replaceability.	J. Log. Algebraic Methods Program.	2010	DBLP DOI BibTeX RDF
28	Dunlu Peng, Xiaoling Wang, Aoying Zhou	Managing the Replaceability of Web Services Using Underlying Semantics.	Int. J. Web Serv. Res.	2010	DBLP DOI BibTeX RDF
28	Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid	Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control.	ICWS	2010	DBLP DOI BibTeX RDF
28	Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci	A Net-based Approach to Web Services Publication and Replaceability.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
28	Chunyang Ye, Shing-Chi Cheung, Jun Wei 0001, Hua Zhong 0001, Tao Huang 0001	A study on the replaceability of context-aware middleware.	Internetware	2009	DBLP DOI BibTeX RDF
28	Andres Flores, Macario Polo	Testing-based Process for Evaluating Component Replaceability.	VODCA@FOSAD	2008	DBLP DOI BibTeX RDF
28	Bo Yang 0022, Zhongliang Jing	The Replaceability of Sampling Matrix for Multidimensional Perfect Reconstruction Filter Banks.	Int. J. Wavelets Multiresolution Inf. Process.	2008	DBLP DOI BibTeX RDF
28	Dunlu Peng, Qingkui Chen	An Efficient Approach for Managing Replaceability of Web Services.	SKG	2008	DBLP DOI BibTeX RDF
28	Wai Kuan Yip, Alwyn Goh, David Ngo Chek Ling, Andrew Teoh Beng Jin	Cryptographic Keys from Dynamic Hand-Signatures with Biometric Secrecy Preservation and Replaceability.	AutoID	2005	DBLP DOI BibTeX RDF
28	Boualem Benatallah, Fabio Casati, Julien Ponge, Farouk Toumani	Compatibility and replaceability analysis for timed web service protocols.	BDA	2005	DBLP BibTeX RDF
28	Hironori Washizaki, Yoshiaki Fukazawa	Retrieving Software Components Using Directed Replaceability Distance.	GCSE	2001	DBLP BibTeX RDF
28	Vigyan Singhal, Carl Pixley	The Verifiacation Problem for Safe Replaceability.	CAV	1994	DBLP DOI BibTeX RDF
28	Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton	Multi-level synthesis for safe replaceability.	ICCAD	1994	DBLP DOI BibTeX RDF
28	Meurig Beynon	Replaceability and Computational Equivalence for Monotone Boolean Functions.	Acta Informatica	1985	DBLP DOI BibTeX RDF
20	Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci	Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.	Petri Nets	2008	DBLP DOI BibTeX RDF
20	Jie Zhang 0002, Ali A. Ghorbani 0001	GUMSAWS: A Generic User Modeling Server for Adaptive Web Systems.	CNSR	2007	DBLP DOI BibTeX RDF
20	Khalid Belhajjame	Addressing the Issue of Service Volatility in Scientific Workflows.	ICSOC	2007	DBLP DOI BibTeX RDF
20	Omkar J. Tilak, Rajeev R. Raje	Temporal Interaction Contracts for Components in a Distributed System.	EDOC	2007	DBLP DOI BibTeX RDF
20	Boualem Benatallah, Fabio Casati, Farouk Toumani, Julien Ponge, Hamid R. Motahari Nezhad	Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management.	IEEE Internet Comput.	2006	DBLP DOI BibTeX RDF	model-driven frameworks, Web services, service-oriented applications
20	Wai Kuan Yip, Alwyn Goh, David Ngo Chek Ling, Andrew Teoh Beng Jin	Generation of Replaceable Cryptographic Keys from Dynamic Handwritten Signatures.	ICB	2006	DBLP DOI BibTeX RDF
20	Jozo J. Dujmovic, Wen Yuan Fang	An Empirical Analysis of Assessment Errors for Weights and Andness in LSP Criteria.	MDAI	2004	DBLP DOI BibTeX RDF
20	Bhim Prasad Upadhyaya, Zhiming Liu 0001	Formal Support for Development of JavaBeans? Component Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF
20	Martin Holena	Extraction of Logical Rules from Data by Means of Piecewise-Linear Neural Networks.	Discovery Science	2002	DBLP DOI BibTeX RDF
20	Yuji Kukimoto, Robert K. Brayton	Timing-safe false path removal for combinational modules.	ICCAD	1999	DBLP DOI BibTeX RDF
20	Mihir Bellare, Ran Canetti, Hugo Krawczyk	Keying Hash Functions for Message Authentication.	CRYPTO	1996	DBLP DOI BibTeX RDF