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 |
|