Search results for "contract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Juan A. Garay, Carl Pomerance	Timed Fair Exchange of Standard Signatures: [Extended Abstract].	Financial Cryptography	2003	DBLP DOI BibTeX RDF	Timed-release cryptography, timed commitments, blind signatures, contract signing
27	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness by constructing contracts.	ITiCSE	2003	DBLP DOI BibTeX RDF	Java, design by contract, axiomatic semantics
27	Umesh A. Deshpande 0001, Arobinda Gupta, Anupam Basu	Adaptive Fault Tolerant Hospital Resource Scheduling.	OTM	2002	DBLP DOI BibTeX RDF	Fault Tolerance, Multi-agent systems, Real-time Scheduling, Collaborative Computing, Contract Net Protocol
27	Bernhard K. Aichernig	Test-Case Calculation through Abstraction.	FME	2001	DBLP DOI BibTeX RDF	test-case synthesis, abstraction rules, testing, scenarios, contract, refinement calculus
27	Yigal Hoffner, Heiko Ludwig, Ceki Gülcü, Paul W. P. J. Grefen	An Architecture for Cross-Organizational Business Processes.	WECWIS	2000	DBLP DOI BibTeX RDF	cross-organizational processes, contract match-making, workflow management, B2B e-commerce, electronic contracts, virtual markets
27	Liwu Li 0001	On Managing Classes for Evolving Software.	IWPC	1999	DBLP DOI BibTeX RDF	protocol, dependence, requirement, generalization, contract, class
27	Sea Ling, Heinz W. Schmidt, Rohan Fletcher	Constructing Interoperable Components in Distributed Systems.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	distributed systems, Components, design-by-contract
27	Heiko Ludwig, Asit Dan, Robert D. Kearney	Cremona: An Architecture and Library for Creation and Monitoring of WS-Agreents.	ICSOC	2004	DBLP DOI BibTeX RDF	contract management, quality of service, web service, contract, template, grid service, WS-agreement
27	Erik Beulen, Pieter M. A. Ribbers	Managing Complex IT Outsourcing--Partnerships.	HICSS	2002	DBLP DOI BibTeX RDF	availability of human resources, contract and account management, IT-strategy and outsourcing, contract, information management
24	Junhuai Li, Yile Wang, Jing Zhang 0009, Zhuobin Zhang	A Web Service Adapter with Contract-Oriented Methodology.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
24	Tayeb Bouhadiba, Florence Maraninchi	Contract-Based Coordination of Hardware Components for the Development of Embedded Software.	COORDINATION	2009	DBLP DOI BibTeX RDF	Executable Contracts, Embedded Systems, Components, Simulation Models, Hardware/Software Interface
24	Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli	Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System.	HSCC	2008	DBLP DOI BibTeX RDF
24	Fabio Massacci, Frank Piessens, Ida Sri Rejeki Siahaan	Security-By-Contract for the Future Internet.	FIS	2008	DBLP DOI BibTeX RDF
24	Luca Padovani	Contract-Directed Synthesis of Simple Orchestrators.	CONCUR	2008	DBLP DOI BibTeX RDF
24	Toshiharu Sugawara, Toshio Hirotsu, Satoshi Kurihara, Kensuke Fukuda	Controling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems.	CIA	2008	DBLP DOI BibTeX RDF
24	Yu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh	ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java.	APSEC	2007	DBLP DOI BibTeX RDF
24	Hélia Pouyllau, Stefan Haar	A protocol for QoS contract negotiation and its implementation using Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
24	Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis	Multiple Viewpoint Contract-Based Specification and Design.	FMCO	2007	DBLP DOI BibTeX RDF
24	Mario Bravetti, Gianluigi Zavattaro	Towards a Unifying Theory for Choreography Conformance and Contract Compliance.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
24	Bertrand Meyer 0001	Contract-Driven Development.	FASE	2007	DBLP DOI BibTeX RDF
24	Hing Kai Chan, Felix T. S. Chan	Early order completion contract approach to minimize the impact of demand uncertainty on supply chains.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
24	Aybek Mukhamedov, Mark Dermot Ryan	Resolve-Impossibility for a Contract-Signing Protocol.	CSFW	2006	DBLP DOI BibTeX RDF
24	Don Perugini, Don Gossink	Order of Movement in Decommitting from a Contract.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
24	Mesfin Mulugeta, Alexander Schill	Component QoS Contract Negotiation in Multiple Containers.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
24	Marcelo Fantinato, Itana Maria de Souza Gimenes, Maria Beatriz Felgar de Toledo	Web Service E-Contract Establishment Using Features.	Business Process Management	2006	DBLP DOI BibTeX RDF
24	Munan Li, Hong Peng	A Novel Cooperation Model: Contract-net Model based on Cooperative Scoring.	CSCWD	2006	DBLP DOI BibTeX RDF
24	Gordon K. T. Lau, Dickson K. W. Chiu, Patrick C. K. Hung	Web-Service Based Information Integration for e-Mortgage Contract Matchmaking Decision Support: A Case Study in Hong Kong.	HICSS	2006	DBLP DOI BibTeX RDF
24	Zhinan Zhou, Philip K. McKinley	COCA: A Contract-Based Infrastructure for Composing Adaptive Multimedia Systems.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
24	Peter F. Linington	Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
24	Shanliang Li, Chunhua Wang	Linear Incentive Contract for Principal-agent Problem with Asymmetric Information and Moral Hazard.	APCCAS	2006	DBLP DOI BibTeX RDF
24	Sandra K. Newton, Stephen C. Wingreen, J. Ellis Blanton	Alternative employment arrangements contribute to organizational citizenship and innovative work, or not: information technology professional's psychological contract will tell.	CPR	2005	DBLP DOI BibTeX RDF	alternative employment arrangements, organizational citizenship behavior, social information processing theory, IT professional, psychological contracts
24	Yingchun Chen, Huan Qi, Shan-Shan Wang	Multi-agent Pursuit-Evasion Algorithm Based on Contract Net Interaction Protocol.	ICNC (3)	2005	DBLP DOI BibTeX RDF
24	Malamati D. Louta, Ioanna Roussaki, Lambros Pechlivanos	Estimation of the Buyer's Contract Space Incorporating Learning from Experience Techniques to the Seller's Rationale in E-Commerce Context.	IAT	2005	DBLP DOI BibTeX RDF
24	Jomi Fred Hübner, Olivier Boissier, Jaime Simão Sichman	Using a Multi-Agent Organization Description Language to describe contract dynamics in virtual enterprises.	IAT	2005	DBLP DOI BibTeX RDF
24	John E. Galvin, Vicki R. McKinney, Katherine M. Chudoba	From Me to We: the Role of the Psychological Contract in Team Formation.	HICSS	2005	DBLP DOI BibTeX RDF
24	John Knottenbelt, Keith Clark	Contract-Related Agents.	CLIMA	2005	DBLP DOI BibTeX RDF
24	Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne	A Method for Specifying Contract Mediated Interactions.	EDOC	2005	DBLP DOI BibTeX RDF
24	Markus Salle, Claudio Bartolini	Management by contract.	NOMS (1)	2004	DBLP DOI BibTeX RDF
24	Ralph-Johan Back, Piia Hirkman, Luka Milovanov	Evaluating the XP Customer Model and Design by Contract.	EUROMICRO	2004	DBLP DOI BibTeX RDF
24	Xiangli Qu, Nong Xiao, Guang Xiang, Xuejun Yang	Reputation-Aware Contract-Supervised Grid Computing.	GCC Workshops	2004	DBLP DOI BibTeX RDF
24	Josep Lluís Ferrer-Gomila, Magdalena Payeras-Capellà, Llorenç Huguet i Rotger	Optimality in Asynchronous Contract Signing Protocols.	TrustBus	2004	DBLP DOI BibTeX RDF
24	Lai Xu 0001	A Framework for E-markets: Monitoring Contract Fulfillment.	WES	2003	DBLP DOI BibTeX RDF
24	Erik Beulen, Pieter M. A. Ribbers	IT Outsourcing Contracts: Practical Implications of the Incomplete Contract Theory.	HICSS	2003	DBLP DOI BibTeX RDF
24	Nicolas Le Sommer, Frédéric Guidec	A Contract-Based Approach of Resource-Constrained Software Deployment.	Component Deployment	2002	DBLP DOI BibTeX RDF
24	Gethin Norman, Vitaly Shmatikov	Analysis of Probabilistic Contract Signing.	FASec	2002	DBLP DOI BibTeX RDF
24	Josep Lluís Ferrer-Gomila, Apollònia Martínez Nadal, Magdalena Payeras-Capellà, Llorenç Huguet i Rotger	A Juridical Validation of a Contract Signing Protocol.	EC-Web	2002	DBLP DOI BibTeX RDF
24	Martin J. Kollingbaum, Timothy J. Norman	Supervised Interaction - A Form of Contract Management to Create Trust between Agents.	Trust, Reputation, and Security	2002	DBLP DOI BibTeX RDF
24	Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof	Automated negotiation from declarative contract descriptions.	Agents	2001	DBLP DOI BibTeX RDF
24	Josep Lluís Ferrer-Gomila, Magdalena Payeras-Capellà, Llorenç Huguet i Rotger	Efficient Optimistic N-Party Contract Signing Protocol.	ISC	2001	DBLP DOI BibTeX RDF
24	John A. C. Woodley	Reliability at Any Cost - Risk Management through Contract Technology.	HICSS	2000	DBLP DOI BibTeX RDF
24	Donald Firesmith	A Comparison of Defensive Development and Design by Contract.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
24	Damien Watkins	Using Interface Definition Languages to Support Path Expressions and Programming by Contract.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
24	R. Kramer	iContract - The Java(tm) Design by Contract(tm) Tool.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
24	Seth R. Goldman, Michael G. Dyer, Margot Flowers	Precedent-Based Legal Reasoning and Knowledge Acquisition in Contract Law: A Process Model.	ICAIL	1987	DBLP DOI BibTeX RDF
24	Mario A. Bochicchio, Antonella Longo	Modelling Contract Management for Cloud Services.	IEEE CLOUD	2011	DBLP DOI BibTeX RDF	Management as a service, Managing cloud services, the Internet of services, Contract Management, Cloud Services
24	Xiangdong Li, Qiusheng Zheng	Two-round Multi-Party Contract Signing.	WKDD	2010	DBLP DOI BibTeX RDF	multi-party contract signing, abuse-freeness, formal analysis, fair exchange, strand space
24	Bruno Traverson	Contract Management in Viewpoint Specifications: Experiment in the Electrical Network and the SOA Domains.	EDOCW	2010	DBLP DOI BibTeX RDF	Open Distributed Processing, Contract Based Design, Service Oriented Architecture, Model Driven Architecture, Electrical Network
24	Vijil Chenthamarakshan, Rafah Hosn, Shajith Ikbal, Nandakishore Kambhatla, Debapriyo Majumdar, Soumitra Sarkar	Measuring Compliance and Deviations in a Template-Based Service Contract Development Process.	IEEE SCC	2010	DBLP DOI BibTeX RDF	standards compliance, automatic standard evolution, document tree matching, service contract, deviation analysis
24	Joe Zou, Yan Wang 0002, Kwei-Jay Lin	A Formal Service Contract Model for Accountable SaaS and Cloud Services.	IEEE SCC	2010	DBLP DOI BibTeX RDF	Cloud, Accountability, SaaS, Service Contract
24	Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti	Minimal Message Complexity of Asynchronous Multi-party Contract Signing.	CSF	2009	DBLP DOI BibTeX RDF	Contract signing protocols, Shortest Permutation Sequences, Complexity, Multi-party protocols
24	Ying Jiang, Ying-Na Li, Shan-Shan Hou, Lu Zhang 0023	Test-Data Generation for Web Services Based on Contract Mutation.	SSIRI	2009	DBLP DOI BibTeX RDF	Contract Mutation, Web Services, Test-Data Generation
24	Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte	Event-Based Input Validation Using Design-by-Contract Patterns.	ISSRE	2009	DBLP DOI BibTeX RDF	Boundary Overflow, Decision Tables, Design by Contract, Security Testing, Event Sequence Graphs, Input Validation
24	Xuening Sun, Pierluigi Nuzzo 0002, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli	Contract-based system-level composition of analog circuits.	DAC	2009	DBLP DOI BibTeX RDF	integration, composition, contract, system, analog, UWB, platform, platform-based design, radio-frequency, assume-guarantee
24	Kenji Imamoto, Jianying Zhou 0001, Kouichi Sakurai	Achieving evenhandedness in certified email system for contract signing.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Evenhandedness, Contract signing, Certified email
24	Hai Liu 0008, Qing Li 0001, Naijie Gu, An Liu 0002	A logical framework for modeling and reasoning about semantic web services contract.	WWW	2008	DBLP DOI BibTeX RDF	dls, semantic web services, services contract
24	Markus Hillenbrand, Joachim Götze, Paul Müller 0001	Contract-first service development within the Venice service grid.	iiWAS	2008	DBLP DOI BibTeX RDF	contract-first, web service development, SOA
24	Nicola Dragoni, Fabio Massacci	Security-by-contract for web services.	SWS	2007	DBLP DOI BibTeX RDF	security-by-contract, web services, automated trust negotiation
24	Chrysanthos Dellarocas, Mark Klein, Juan A. Rodríguez-Aguilar	An exception-handling architecture for open electronic marketplaces of contract net software agents.	EC	2000	DBLP DOI BibTeX RDF	failure management, software agents, exception handling, electronic markets, electronic institutions, contract net
24	David Maley, Ivor T. A. Spence	Emulating Design by Contract in C++.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	C++, Design by Contract, Computational Physics, Standard Template Library
24	Reinhold Plösch	Tool Support for Design by Contract.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Requirements Engineering, Prototyping, Python, Design by Contract, Behavioral specifications
21	Yingli Zhang, Jiali Ma, Xin Liu 0050, Guodong Ye, Qun Jin, Jianhua Ma 0002, Qingguo Zhou	An Efficient Smart Contract Vulnerability Detector Based on Semantic Contract Graphs Using Approximate Graph Matching.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
21	Ali Mollajan, Seyed Hossein Iranmanesh, Reza Tavakoli-Moghaddam	A systems approach to improve reliability of a contract by Modularising contract's information flow architecture: a new contribution to risk mitigation in projects management.	Enterp. Inf. Syst.	2023	DBLP DOI BibTeX RDF
21	Sasha Vtyurina, Adam Roegiest	O Contract, Where Art Thou? Contract Management as a SharePoint Oddity.	CoRR	2023	DBLP DOI BibTeX RDF
21	Joonseok Park, Sumin Jeong, Keunhyuk Yeom	Smart Contract Broker: Improving Smart Contract Reusability in a Blockchain Environment.	Sensors	2023	DBLP DOI BibTeX RDF
21	Shen Su, Yue Xue, Liansheng Lin, Chao Wang, Hui Lu 0005, Jing Qiu 0002, Yanbin Sun, Yuan Liu, Zhihong Tian	Smart Contract Firewall: Protecting the on-Chain Smart Contract Projects.	GLOBECOM	2023	DBLP DOI BibTeX RDF
21	Chi Jiang, Yupeng Chen, Manhua Shi, Yin Zhang	Typical Contract Graph Feature Enhanced Smart Contract Vulnerability Detection.	ACPR (2)	2023	DBLP DOI BibTeX RDF
21	Apostolos P. Elekidis, Michael C. Georgiadis	Optimal contract selection for contract manufacturing organizations in the secondary pharmaceutical industry.	Comput. Chem. Eng.	2022	DBLP DOI BibTeX RDF
21	Xianyun Ge	Smart Payment Contract Mechanism Based on Blockchain Smart Contract Mechanism.	Sci. Program.	2021	DBLP DOI BibTeX RDF
21	Tim Soethout, Tijs van der Storm, Jurgen J. Vinju	Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions.	AGERE!@SPLASH	2021	DBLP DOI BibTeX RDF
21	Svetislav Simic, Marko Markovic, Stevan Gostojic	Smart Contract and Blockchain Based Contract Management System.	ECBS	2021	DBLP DOI BibTeX RDF
21	Kelei Xue, Yongjian Li, Xueping Zhen, Wen Wang	Managing the supply disruption risk: option contract or order commitment contract?	Ann. Oper. Res.	2020	DBLP DOI BibTeX RDF
21	Yao-Chieh Hu, Ting-Ting Lee, Dimitris Chatzopoulos, Pan Hui 0001	Analyzing smart contract interactions and contract level state consensus.	Concurr. Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
21	Asem Ghaleb, Karthik Pattabiraman	How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection.	CoRR	2020	DBLP BibTeX RDF
21	Yiping Fu, Zhihua Chen, Zhibing Liu, Shanxue Yang	A comparison of milestone contract and royalty contract under critical value criterion in R&D alliance.	Soft Comput.	2020	DBLP DOI BibTeX RDF
21	Ming Li 0049, Anjia Yang, Xinkai Chen	Towards Interpreting Smart Contract against Contract Fraud: A Practical and Automatic Realization.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
21	Tarmizi	The Principle of Consensualism and Freedom of Contract as a Reflection of Morality and Legal Certainty of Contract Laws in Indonesia.	Webology	2020	DBLP DOI BibTeX RDF
21	Caine Silva, Sylvain Guérin, Raúl Mazo, Joël Champeau	Contract-based design patterns: a design by contract approach to specify security patterns.	ARES	2020	DBLP DOI BibTeX RDF
21	Asem Ghaleb, Karthik Pattabiraman	How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection.	ISSTA	2020	DBLP DOI BibTeX RDF
21	Kritagya Upadhyay, Ram Dantu, Zachary Zaccagni, Syed Badruddoja	Is Your Legal Contract Ambiguous? Convert to a Smart Legal Contract.	Blockchain	2020	DBLP DOI BibTeX RDF
21	Fuxiao Lu, Jianxiong Zhang, Wansheng Tang	Wholesale price contract versus consignment contract in a supply chain considering dynamic advertising.	Int. Trans. Oper. Res.	2019	DBLP DOI BibTeX RDF
21	Andrea Lamparelli, Ghareeb Falazi, Uwe Breitenbücher, Florian Daniel, Frank Leymann	Smart Contract Locator (SCL) and Smart Contract Description Language (SCDL).	ICSOC Workshops	2019	DBLP DOI BibTeX RDF
21	Benedikt Pittl, Stefan Starflinger, Werner Mach, Erich Schikuta	Bazaar-Contract: A Smart Contract for Binding Multi-Round Bilateral Negotiations on Cloud Markets.	FiCloud	2019	DBLP DOI BibTeX RDF
21	Li Zhang, Fei Ye 0006	Mechanisms of Collaboration in the Hotel Supply Chain: Two-Stage Ordering Contract and Option Contract.	J. Syst. Sci. Complex.	2018	DBLP DOI BibTeX RDF
21	Haibo Tian, Jiejie He, Liqing Fu	Contract Coin: Toward Practical Contract Signing on Blockchain.	ISPEC	2017	DBLP DOI BibTeX RDF
21	Eva Rodríguez, Jaime Delgado, Laurent Boch, Víctor Rodríguez-Doncel	Media Contract Formalization Using a Standardized Contract Expression Language.	IEEE Multim.	2015	DBLP DOI BibTeX RDF
21	Janet E. L. Bercovitz, Beverly B. Tyler	Who I Am and How I Contract: The Effect of Contractors' Roles on the Evolution of Contract Structure in University-Industry Research Agreements.	Organ. Sci.	2014	DBLP DOI BibTeX RDF
21	Carolyn Paris	The Materiality of Contract in Relation to ICT: Lessons from a Biography of Contract Management Software.	HICSS	2014	DBLP DOI BibTeX RDF
21	Miguel Oliveira e Silva, Pedro G. Francisco	Contract-Java: Design by Contract in Java with Safe Error Handling.	SLATE	2014	DBLP DOI BibTeX RDF
21	Dongjun Wu, Min Ding 0002, Lorin M. Hitt	IT Implementation Contract Design: Analytical and Experimental Investigation of IT Value, Learning, and Contract Structure.	Inf. Syst. Res.	2013	DBLP DOI BibTeX RDF
21	Tingting Lin	It Outsourcing At The Stage Of Psychological Contract: Governance-In-Practice And Governance-In-Contract.	ECIS	2013	DBLP BibTeX RDF