Search results for "contracts"

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