|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1372 occurrences of 797 keywords
|
|
|
Results
Found 4935 publication records. Showing 4935 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Feng Li, Junzhou Luo, Yinying Yang, Ye Zhu, Teng Ma |
A Dynamic Grid Authorization Mechanism with Result Feedback. |
GCC |
2004 |
DBLP DOI BibTeX RDF |
Security Contract, Dynamic Authorization, Trust, Grid, Negotiation |
15 | Shazib E. Shaikh, Nikolay Mehandjiev |
Multi-Attribute Negotiation in E-Business Process Composition. |
WETICE |
2004 |
DBLP DOI BibTeX RDF |
|
15 | George T. Gray, Ronald Q. Smith |
Before the B5000: Burroughs Computers, 1951-1963. |
IEEE Ann. Hist. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Bernhard K. Aichernig |
Mutation Testing in the Refinement Calculus. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Formal specifications, Formal methods, Refinement, Abstraction, Test case generation, Mutation testing, Test coverage |
15 | Vandana Kabilan, Paul Johannesson, Dickson M. Rugaimukamu |
Business Contract Obligation Monitoring through Use of Multi Tier Contract Ontology. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson |
Studying program correctness in ProVIDE. |
ITiCSE |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Juliet M. Moringiello |
From vending machines to Web sites: mutual assent between man and machine. |
ICEC |
2003 |
DBLP DOI BibTeX RDF |
browsewrap, clickwrap, shrinkwrap, contract |
15 | Henry Deeb Gabriel |
The emerging law of international electronic commerce: recent work by UNCITRAL. |
ICEC |
2003 |
DBLP DOI BibTeX RDF |
media neutrality, contract, functional equivalence |
15 | Chris Kenyon, Giorgos Cheliotis |
Creating Services with Hard Guarantees from Cycle-Harvesting Systems. |
CCGRID |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt |
Reasoning about Software Architectures with Contractually Specified Components. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Eric Sucky |
A Single Buyer-Single Supplier Bargaining Problem with Asymmetric Information - Theoretical Approach and Software Implementation. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luís Andrade 0001, José Luiz Fiadeiro |
Enhancing Dependability Through Flexible Adaptation to Changing Requirements. |
WADS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Ashok U. Mallya, Pinar Yolum, Munindar P. Singh |
Resolving Commitments among Autonomous Agents. |
Workshop on Agent Communication Languages |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Wombacher, Peter Fankhauser, Bendick Mahleko, Erich J. Neuhold |
Matchmaking for Business Processes. |
CEC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Victoria Ungureanu, Benjamin Melamed, Michael N. Katehakis |
Towards an Efficient Cluster-Based E-Commerce Server. |
CLUSTER |
2003 |
DBLP DOI BibTeX RDF |
|
15 | James E. Hanson, Zoran Milosevic |
Conversation-oriented Protocols for Contract Negotiations. |
EDOC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Roger S. Barga, David B. Lomet, Gerhard Weikum |
Recovery Guarantees for General Multi-Tier Applications. |
ICDE |
2002 |
DBLP DOI BibTeX RDF |
fault-tolerance, e-commerce, applications, recovery |
15 | Ricky W. Butler |
Formal Methods at NASA Langley. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Keller 0002, Gautam Kar, Heiko Ludwig, Asit Dan, Joseph L. Hellerstein |
Managing dynamic services: a contract based approach to a conceptual architecture. |
NOMS |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu |
A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation. |
ER |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Bernhard K. Aichernig |
Contract-Based Testing. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
15 | José Barata, Luis M. Camarinha-Matos |
Implementing a Contract-Based Multi-Agent Approach for Shop Floor Agility. |
DEXA Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Dongjun Wu, Paul Kleindorfer, Yanjun Sun |
Optimal Electric Power Capacity Expansion in the Presence of Options. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
Capacity Expansions, Capacity Options, Electric Power, Equilibrium |
15 | Martin J. Kollingbaum, Timothy J. Norman |
Supervised interaction: creating a web of trust for contracting agents in electronic environments. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
agent organisations, norms and institutions, electronic commerce |
15 | Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens |
Enriching OCL Using Observational Mu-Calculus. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Sue A. Conger, Karen D. Loch |
Invitation to a public debate on ethical computer use. |
Data Base |
2001 |
DBLP DOI BibTeX RDF |
privacy, computer ethics, codes of ethics |
15 | Torben Weis, Christian Becker 0001, Kurt Geihs, Noël Plouzeau |
A UML Meta-model for Contract Aware Components. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Raphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc |
Type-Safe Trading Proxies Using TORBA. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Lai Xu 0001, Hans Weigand |
The Evolution of the Contract Net Protocol. |
WAIM |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Karine Arnout, Raphael Simon |
The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Juliane Vorndamme |
Das Vorgehensmodell VIPSO: Berücksichtigung rechtlicher Einflüsse auf die SW-Entwicklung. |
Inform. Forsch. Entwickl. |
2000 |
DBLP DOI BibTeX RDF |
Softwareengineering, Vorgehensmodell, EU-Richtlinie |
15 | Andreas Rausch |
Software Evolution in Componentware-A Practical Approach. |
Australian Software Engineering Conference |
2000 |
DBLP DOI BibTeX RDF |
Description Techniques, Software Engineering, Software Evolution, Process Model, Componentware |
15 | Mark S. Miller, Chip Morningstar, Bill Frantz |
Capability-Based Financial Instruments. |
Financial Cryptography |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Carolyn L. Cukierman, Stephanie K. Raffetto |
Government Contract Evaluation. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Richard Mitchell |
Analysis by Contract or UML with Attitude. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Murat Karaorman, Urs Hölzle, John L. Bruno |
jContractor: A Reflective Java Library to Support Design by Contract. |
Reflection |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Martin Büchi, Wolfgang Weck |
Compound Types for Java. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
Java |
15 | Tuomas Sandholm |
Agents in Electronic Commerce: Component Technologies for Automated Negotiation and Coalition Formation. |
ICMAS |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Joakim Eriksson, Niclas Finne, Sverker Janson |
SICS MarketSpace - An Agent-Based Market Infrastructure. |
AMET |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Anthony C. Kam, Kai-Yeung Siu |
Linear Complexity Algorithms for Bandwidth Reservations and Delay Guarantees in Input-Queued Switches with No Speedup. |
ICNP |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Tuomas Sandholm |
Agents in Electronic Commerce: Component Technologies for Automated Negation and Coalition Formation. |
CIA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Gerald J. Stuzin |
An expert system for tuning a macroeconometric model (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Cameron Moy, Christos Dimoulas, Matthias Felleisen |
Effectful Software Contracts. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Oliver J. Hall, Stavros Shiaeles, Fudong Li 0009 |
A Study of Ethereum's Transition from Proof-of-Work to Proof-of-Stake in Preventing Smart Contracts Criminal Activities. |
Network |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xingyu Chen, Chong Wang, Deng Jia, Yujia Bai |
Multi-period pricing and order decisions for fresh produce with option contracts. |
Ann. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Aristeidis Farao, Georgios Paparis, Sakshyam Panda, Emmanouil Panaousis, Apostolis Zarras, Christos Xenakis |
INCHAIN: a cyber insurance architecture with smart contracts and self-sovereign identity on top of blockchain. |
Int. J. Inf. Sec. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yasemin Limon, Tugce G. Martagan, Ananth Krishnamurthy |
Contracts for biopharmaceutical manufacturing based on production cost and capabilities. |
Int. J. Prod. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jing Liu 0003, Xuesong Hai, Keqin Li 0001 |
TDLearning: Trusted Distributed Collaborative Learning Based on Blockchain Smart Contracts. |
Future Internet |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Sathiyamurthy Kuppuswamy, Lakshminarayana Kodavali |
Chapter Six - Bayesian network-based quality assessment of blockchain smart contracts. |
Adv. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jafar Gheidar-Kheljani, Kourosh Halat |
Developing a resilient supply chain in complex product systems through investment in reliability and cooperative contracts. |
RAIRO Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Morteza Amirmohseni, Sadegh Dorri Nogoorani |
Safety Guards for Ethereum Smart Contracts. |
ISC Int. J. Inf. Secur. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Wisnu Uriawan, Youakim Badr, Omar Hasan, Lionel Brunie |
Decentralized trustworthiness score management with smart contracts on the trustlend platform. |
IET Blockchain |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Hao Wang 0189, Chunpeng Ge, Lu Zhou 0002, Zhe Liu 0001, Dongwan Lan, Xiaozhen Lu, Danni Jiang |
A Publicly Verifiable Outsourcing Matrix Computation Scheme Based on Smart Contracts. |
IEEE Trans. Cloud Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | N. B. Sai Shibu, Aryadevi Remanidevi Devidas, S. Balamurugan, Seshaiah Ponnekanti, Maneesha Vinodini Ramesh |
Optimizing Microgrid Resilience: Integrating IoT, Blockchain, and Smart Contracts for Power Outage Management. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Seonghwan Park, Hayoung Kang, Sanghun Han, Jonghee M. Youn, Donghyun Kwon |
MECAT: Memory-Safe Smart Contracts in ARM TrustZone. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Lee Song Haw Colin, Purnima Murali Mohan, Jonathan Pan, Peter Kok Keong Loh |
An Integrated Smart Contract Vulnerability Detection Tool Using Multi-Layer Perceptron on Real-Time Solidity Smart Contracts. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yong Chen, Defeng Hu, Chao Xu, Nannan Chen |
An Annotation Assisted Smart Contracts Generation Method. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Tahmina Ehsan, Muhammad Usman Sana, Muhammad Usman Ali, Elizabeth Caro Montero, Eduardo Silva Alvarado, Sirojiddin Djuraev, Imran Ashraf |
Securing Smart Contracts in Fog Computing: Machine Learning-Based Attack Detection for Registration and Resource Access Granting. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Vipin Deval, Vimal Kumar Dwivedi, Abhishek Dixit, Alex Norta, Syed Attique Shah, Rahul Sharma 0011, Dirk Draheim |
Mobile Smart Contracts: Exploring Scalability Challenges and Consensus Mechanisms. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Haichuan Zhang, Hong Su, Xi Wu 0004, Yuliang Yang |
Cross-Chain Interoperability and Collaboration for Keyword-Based Embedded Smart Contracts in Internet of Things. |
IEEE Internet Things J. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Pietro Ferraro, Lianna Zhao, Christopher King, Robert Shorten |
Personalized Feedback Control, Social Contracts, and Compliance Strategies for Ensembles. |
IEEE Internet Things J. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Daojing He, Ke Ding, Sammy Chan, Mohsen Guizani |
Unknown Threats Detection Methods of Smart Contracts. |
IEEE Internet Things J. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Zhonghua Chen, S. B. Goyal, Anand Singh Rajawat |
Smart contracts attribute-based access control model for security & privacy of IoT system using blockchain and edge computing. |
J. Supercomput. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yang Liu 0003, Chao Wang, Yan Ma |
DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts. |
Autom. Softw. Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Maha Ayub, Muhammad Waiz Khan, Muhammmad Umar Janjua |
Sound analysis and migration of data from Ethereum smart contracts. |
Autom. Softw. Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jianting Zhang, Wuhui Chen, Zicong Hong, Gang Xiao 0003, Linlin Du, Zibin Zheng |
Efficient Execution of Arbitrarily Complex Cross-Shard Contracts for Blockchain Sharding. |
IEEE Trans. Computers |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Filisia Melissari, Andreas E. Papadakis, Dimitris Chatzitheodorou, Duc Tran, Joachim Schouteten, Georgia Athanasiou, Theodore B. Zahariadis |
Experiences Using Ethereum and Quorum Blockchain Smart Contracts in Dairy Production. |
J. Sens. Actuator Networks |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Marisol García-Valls, Alejandro M. Chirivella-Ciruelos |
Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks. |
Inf. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles |
Deductive verification of smart contracts with Dafny. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Abeer Rashad Mirdad, Abdulaziz Mohammed Khan, Farookh Khadeer Hussain |
Smart contracts and marketplace for just-in-time management of pharmaceutical drugs. |
Int. J. Web Grid Serv. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Peiqiang Li, Guojun Wang 0001, Xiaofei Xing, Xiangbin Li, Jinyao Zhu |
Detecting unknown vulnerabilities in smart contracts using opcode sequences. |
Connect. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Martino Bernasconi, Matteo Castiglioni, Alberto Marchesi 0001 |
Regret-Minimizing Contracts: Agency Under Uncertainty. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Martino Bernasconi, Matteo Castiglioni, Andrea Celli |
Agent-Designed Contracts: How to Sell Hidden Actions. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Tomer Ezra, Michal Feldman, Maya Schlesinger |
Sequential Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Dario Maddaloni, Riccardo Marchesin, Roberto Zunino |
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Adele Veschetti, Richard Bubel, Reiner Hähnle |
SmartML: Towards a Modeling Language for Smart Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Paul Dütting, Michal Feldman, Yoav Gal Tzur, Aviad Rubinstein |
The Query Complexity of Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Margarita Capretto, Martín Ceresa, César Sánchez 0001 |
Monitoring the Future of Smart Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Zexu Wang, Jiachi Chen, Yanlin Wang, Yu Zhang, Weizhe Zhang, Zibin Zheng |
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yaron Hay, Roy Friedman |
On Optimizing Deterministic Concurrent Scheduling for Smart Contracts and Blockchains. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas G. Veneris, Fan Long |
Safeguarding DeFi Smart Contracts against Oracle Deviations. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Pietro Giovanni Bizzaro, Elena Della Valentina, Maurizio Napolitano, Nadia Mana, Massimo Zancanaro |
Annotation and Classification of Relevant Clauses in Terms-and-Conditions Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Chaofan Shou, Jing Liu, Doudou Lu, Koushik Sen |
LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yurong Chen 0002, Zhaohua Chen 0001, Xiaotie Deng, Zhiyi Huang |
Are Bounded Contracts Learnable and Approximately Optimal? |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Gabriele Morello, Mojtaba Eshghie, Sofia Bobadilla, Martin Monperrus |
DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Matthew Scott 0004, Asimina Mertzani, Ciske Smit, Stefan Sarkadi, Jeremy Pitt |
Social Deliberation vs. Social Contracts in Self-Governing Voluntary Organisations. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Wejdene Haouari, Abdelhakim Senhaji Hafid, Marios Fokaefs |
Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Gideon Mohr, Marco Guarnieri, Jan Reineke 0001 |
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Ye Liu 0012, Yi Li 0008, Cyrille Artho, Yixuan Liu |
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Tomer Ezra, Stefano Leonardi 0001, Matteo Russo |
Contracts with Inspections. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Zewei Lin, Jiachi Chen, Zibin Zheng, Jiajing Wu, Weizhe Zhang, Yongjuan Wang |
CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Antonio Lopez Vivar, Ana Lucila Sandoval Orozco, Luis Javier García-Villalba |
A security framework for Ethereum smart contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Ye Liu, Chengxuan Zhang, Yi Li |
Automated Invariant Generation for Solidity Smart Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Lyuye Zhang, Kaixuan Li, Kairan Sun, Daoyuan Wu, Ye Liu, Haoye Tian, Yang Liu |
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Shoupeng Ren, Tianyu Tu, Jian Liu, Di Wu, Kui Ren 0001 |
LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xiaofan Li, Jin Yang, Jiaqi Chen, Yuzhe Tang, Xing Gao |
Characterizing Ethereum Upgradable Smart Contracts and Their Security Implications. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Shuo Yang, Jiachi Chen, Mingyuan Huang, Zibin Zheng, Yuan Huang |
Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Zaynah Dargaye, Önder Gürcan, Florent Kirchner, Sara Tucci Piergiovanni |
Towards Secure and Trusted-by-Design Smart Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Anmol Singhal, Chirag Jain, Preethu Rose Anish, Arkajyoti Chakraborty, Smita Ghaisas |
Generating Clarification Questions for Disambiguating Contracts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Sumit Goel, Wade Hann-Caruthers |
Optimality of weighted contracts for multi-agent contract design with a budget. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 4935 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|