Search results for "Contracts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Christopher Ward, Melissa J. Buco, Rong N. Chang, Laura Z. Luan	A Generic SLA Semantic Model for the Execution Management of E-business Outsourcing Contracts.	EC-Web	2002	DBLP DOI BibTeX RDF
25	Brian Shand, Jean Bacon	Policies in Accountable Contracts.	POLICY	2002	DBLP DOI BibTeX RDF
25	Claus Pahl	Components, Contracts, and Connectors for the Unified Modelling Language UML.	FME	2001	DBLP DOI BibTeX RDF
25	Charles Herring, Zoran Milosevic	Implementing B2B Contracts using BizTalk.	HICSS	2001	DBLP DOI BibTeX RDF
25	Alexander Runge, Bernd Schopp, Katarina Stanoevska-Slabeva	The Management of Business Transactions through Electronic Contracts.	DEXA Workshops	1999	DBLP DOI BibTeX RDF
25	Yao-Hua Tan, Walter Thoen	Modeling Directed Obligations and Permissions in Trade Contracts.	HICSS (5)	1998	DBLP DOI BibTeX RDF
25	Carine Lucas, Patrick Steyaert, Kim Mens	Managing Software Evolution through Reuse Contracts.	CSMR	1997	DBLP DOI BibTeX RDF
25	Steven Brower	Function Design Document: Toward better documentation for data processing contracts.	SIGDOC	1982	DBLP DOI BibTeX RDF
23	Vasilios Andrikopoulos, Salima Benbernou, Mike P. Papazoglou	Evolving Services from a Contractual Perspective.	CAiSE	2009	DBLP DOI BibTeX RDF	service evolution, contract invariance, contract evolution, compatibility, service contracts
23	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
23	Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel	Automatic Test Generation: A Use Case Driven Approach.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	UML, test generation, scenarios, Use case, contracts
23	Cormac Flanagan	Hybrid type checking.	POPL	2006	DBLP DOI BibTeX RDF	dynamic checking, type systems, contracts, static checking
23	Paul Laskowski, John Chuang	Network monitors and contracting systems: competition and innovation.	SIGCOMM	2006	DBLP DOI BibTeX RDF	commoditization, monitoring, innovation, contracts, incentives
23	Moshe Babaioff, Michal Feldman, Noam Nisan	Combinatorial agency.	EC	2006	DBLP DOI BibTeX RDF	price of unaccountability, principal-agent model, mechanism design, contracts, incentives, agency theory, hidden-action, moral hazard
23	Jifeng He 0001, Xiaoshan Li, Zhiming Liu 0001	Component-Based Software Engineering.	ICTAC	2005	DBLP DOI BibTeX RDF	Simulation, Protocols, Components, Interfaces, Composition, Refinement, Consistency, Contracts, Functionality
23	Havard Meland, Rolf Petter Waage, Maung K. Sein	The other side of turnover: managing IT personnel strategically.	CPR	2005	DBLP DOI BibTeX RDF	re-recruitment, human resources, turnover, theory of planned behavior, IS personnel, psychological contracts
23	Roger S. Barga, David B. Lomet, German Shegalov, Gerhard Weikum	Recovery guarantees for Internet applications.	ACM Trans. Internet Techn.	2004	DBLP DOI BibTeX RDF	Exactly-once execution, application recovery, interaction contracts, communication protocols
23	Nurit Dor, Michael Rodeh, Shmuel Sagiv	CSSV: towards a realistic tool for statically detecting all buffer overflows in C.	PLDI	2003	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, error detection, contracts, buffer overflow
23	Alan S. Abrahams, David M. Eyers, Jean Bacon	An asynchronous rule-based approach for business process automation using obligations.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	policies, contracts, conflict resolution, conflict detection
23	Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt	Using the TrustME Tool Suite for Automatic Component Protocol Adaptation.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF	component protocol specifications, automatic component adaptation, parameterised contracts, distributed middleware platforms, architectural description languages
23	Yigal Hoffner, Heiko Ludwig, Paul W. P. J. Grefen, Karl Aberer	CrossFlow: integrating workflow management and electronic commerce.	SIGecom Exch.	2001	DBLP DOI BibTeX RDF	dynamic business process outsourcing, dynamic infrastructure setup, electronic commerce, workflow management, contracts, electronic
23	Yao-Hua Tan, Walter Thoen	DocLog: An Electronic Contract Representation Language.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	DocLog, electronic contract representation language, international trade regulations, international trade contracts, Internet, electronic commerce, small and medium sized enterprises, deontic logic, legislation, legal aspects, legal knowledge representation, global markets
23	Martin Lippert, Cristina Videira Lopes	A study on exception detecton and handling using aspect-oriented programming.	ICSE	2000	DBLP DOI BibTeX RDF	aspect-oriented programming, contracts, exceptions
23	Vaggelis Ouzounis, Volker Tschammer	A Framework for Virtual Enterprise Support Services.	HICSS	1999	DBLP DOI BibTeX RDF	Contracts and Business Objects, Business Processes, Virtual Enterprises
23	Zoran Milosevic, David Arnold 0002, Luke O'Connor	Inter-enterprise contract architecture for open distributed systems: security requirements.	WETICE	1996	DBLP DOI BibTeX RDF	inter-enterprise contract architecture, electronic inter-enterprise interactions, enforcement capability, business contracts, standard contract sequence reuse, public repository, binding, performance monitoring, security requirements, business communication, open distributed systems, distributed infrastructure
23	Zizhen Wang, Hanpin Wang, Naijun Zhan	Refinement of models of software components.	SAC	2010	DBLP DOI BibTeX RDF	CB-MDD, rCOS, trace refinement, data refinement
23	Manuel Fähndrich, Michael Barnett 0001, Francesco Logozzo	Embedded contract languages.	SAC	2010	DBLP DOI BibTeX RDF	CodeContracts, C#, NET
23	Piotr Kosiuczenko	Redesign of UML class diagrams: a formal approach.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	UML, Formal methods, Refactoring, OCL, Requirements tracing
23	Sidney Rosario, Albert Benveniste, Claude Jard	Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations.	ICWS	2009	DBLP DOI BibTeX RDF
23	Georgiana Macariu, Vladimir Cretu	Model-Based Analysis of Contract-Based Real-Time Scheduling.	SEUS	2009	DBLP DOI BibTeX RDF
23	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
23	Henrique Lopes Cardoso, Eugénio C. Oliveira	Electronic institutions for B2B: dynamic normative environments.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Multi-agent system, Contract, Norm, Electronic institution
23	Dumitru Roman, Michael Kifer	Semantic Web Service Choreography: Contracting and Enactment.	ISWC	2008	DBLP DOI BibTeX RDF
23	Hakim Belhaouari, Frédéric Peschanski	A Lightweight Container Architecture for Runtime Verification.	RV	2008	DBLP DOI BibTeX RDF
23	Martin Blom, Eivind J. Nordby, Anna Brunström	An Experimental Evaluation of Documentation Methods and Reusability.	ICSR	2008	DBLP DOI BibTeX RDF
23	Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini	Verifying Atomicity Requirements of Services Coordination Using B.	ENC	2008	DBLP DOI BibTeX RDF
23	Noura Faci, Sanjay Modgil, Nir Oren, Felipe Rech Meneguzzi, Simon Miles, Michael Luck	Towards a Monitoring Framework for Agent-Based Contract Systems.	CIA	2008	DBLP DOI BibTeX RDF
23	Albert Benveniste	Composing Web Services in an Open World: Issues of Quality of Service.	FORMATS	2008	DBLP DOI BibTeX RDF
23	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
23	Tamara Dahlgren	Performance-Driven Interface Contract Enforcement for Scientific Components.	CBSE	2007	DBLP DOI BibTeX RDF
23	Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen	A Framework for Contract-Based Collaborative Verification and Validation of Web Services.	CBSE	2007	DBLP DOI BibTeX RDF	Contract-Based, Web Services, Verification and Validation
23	Mario Bravetti, Gianluigi Zavattaro	Towards a Unifying Theory for Choreography Conformance and Contract Compliance.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
23	Jahyun Goo, Kichan Nam	Contract as a Source of Trust--Commitment in Successful IT Outsourcing Relationship: An Empirical Study.	HICSS	2007	DBLP DOI BibTeX RDF
23	Oleg Gujo, Michael Schwind, Jens Vykoukal	The Design of Incentives in a Combinatorial Exchange for Intra-Enterprise Logistics Services.	CEC/EEE	2007	DBLP DOI BibTeX RDF
23	Michel A. Oey, Reinier J. Timmer, David G. A. Mobach, Benno J. Overeinder, Frances M. T. Brazier	WS-agreement based resource negotiation in AgentScape.	AAMAS	2007	DBLP DOI BibTeX RDF	agent-based negotiation, mobile agents, resource management, WS-agreements
23	T. S. E. Maibaum, Zhe (Jessie) Li	A test framework for integration testing of object-oriented programs.	CASCON	2007	DBLP DOI BibTeX RDF
23	Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego	Constraint satisfaction techniques for diagnosing errors in design by contract software.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	Diagnosis, Design by Contract
23	Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel	Design by Contract to Improve Software Vigilance.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	programming by contract, metrics, diagnostics, Object-oriented design methods
23	Elliot Anshelevich, F. Bruce Shepherd, Gordon T. Wilfong	Strategic Network Formation through Peering and Service Agreements.	FOCS	2006	DBLP DOI BibTeX RDF
23	Fritjof Boger Engelhardtsen, Andreas Prinz 0001	Application of Stuck-Free Conformance to Service-Role Composition.	SAM	2006	DBLP DOI BibTeX RDF
23	Changzhou Wang, Guijun Wang, Haiqin Wang, Alice Chen, Rodolfo A. Santiago	Quality of Service (QoS) Contract Specification, Establishment, and Monitoring for Service Level Management.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
23	Murat Karaorman, Parker Abercrombie	jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	jContractor, Java, Design by Contract, bytecode instrumentation
23	Sabyasachi Saha, Sandip Sen	Aggressive Pricing to Exploit Market Niches in Supply Chains.	IEEE Intell. Syst.	2005	DBLP DOI BibTeX RDF	pricing and scheduling strategies, wealth maximization, market niche, software agents, supply chain management
23	Wei Dong 0006, Ji Wang 0001	Contract-Based Formal Specification of Safety Critical Systems.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
23	Mohsen Rouached, Olivier Perrin 0001, Claude Godart	A Contract Layered Architecture for Regulating Cross-Organisational Business Processes.	Business Process Management	2005	DBLP DOI BibTeX RDF	e-contract modeling and analysis, event-based monitoring, business process management
23	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
23	Vladimir Tosic, Bernard Pagurek	On Comprehensive Contractual Descriptions of Web Services.	EEE	2005	DBLP DOI BibTeX RDF
23	Hervé Chang, Philippe Collet	Fine-grained Contract Negotiation for Hierarchical Software Components.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
23	Fu-Shiung Hsieh	Automated Negotiation Based on Contract Net and Petri Net.	EC-Web	2005	DBLP DOI BibTeX RDF
23	Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt	Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.	EUROMICRO	2004	DBLP DOI BibTeX RDF
23	Dongjun Wu, Min Ding 0002, Lorin M. Hitt	Learning in ERP Contracting: A Principal-Agent Analysis.	HICSS	2004	DBLP DOI BibTeX RDF
23	Stephen W. Neal, James B. Cole, Peter F. Linington, Zoran Milosevic, Simon Gibson, Sachin Kulkarni	Identifying requirements for Business Contract Language: a Monitoring Perspectiv.	EDOC	2003	DBLP DOI BibTeX RDF
23	Mehdi Aboulfadl, Aparna Gupta, Ritesh Pradhan, Shivkumar Kalyanaraman	Asset price modeling: a spot pricing framework to enable pricing and risk management of inter-domain assured bandwidth services.	WSC	2002	DBLP DOI BibTeX RDF
23	João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade 0001, José Luiz Fiadeiro	The Coordination Development Environment.	FASE	2002	DBLP DOI BibTeX RDF
23	Christopher L. Barrett, Doug Cook, Gregory Hicks, Vance Faber, Achla Marathe, Madhav V. Marathe, Aravind Srinivasan, Yoram J. Sussmann, Heidi Thornquist	Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry.	WAE	2001	DBLP DOI BibTeX RDF
23	Jim Dowling, Vinny Cahill	The K-Component Architecture Meta-model for Self-Adaptive Software.	Reflection	2001	DBLP DOI BibTeX RDF
23	Rüdiger Grimm, Peter Ochsenschläger	Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Elektronischer Vertrag, verbindliche Phase, Verpflichtung, Kooperationsziel, Sog in das Ziel, Beweis, Verifikation, Theorie formaler Sprachen, formales Modell
23	Andreas Rausch	A Proposal for Supporting Software Evolution in Componentware.	CSMR	2000	DBLP DOI BibTeX RDF
23	Dongjun Wu, Paul Kleindorfer, Jin E. Zhang	Optimal Bidding and Contracting Strategies in the Deregulated Electric Power Market: Part I.	HICSS	2000	DBLP DOI BibTeX RDF
23	Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour	Component-Based Development? Refining the Blueprint.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
23	David Konopnicki, Lior Leiba, Oded Shmueli, Yehoshua Sagiv	A Formal Yet Practical Approach to Electronic Commerce.	CoopIS	1999	DBLP DOI BibTeX RDF
23	Martin Andersson, Tuomas Sandholm	Leveled Commitment Contracting among Myopic Individually Rational Agents.	ICMAS	1998	DBLP DOI BibTeX RDF
21	Soroush Farokhnia	Lazy Contracts: Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts.	CoRR	2023	DBLP DOI BibTeX RDF
21	Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas G. Veneris, Aron Laszka	Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid.	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF
21	Christoph Sendner, Huili Chen, Hossein Fereidooni, Lukas Petzi, Jan König, Jasper Stang, Alexandra Dmitrienko, Ahmad-Reza Sadeghi, Farinaz Koushanfar	Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning.	NDSS	2023	DBLP BibTeX RDF
21	Liwei Ouyang, Wenwen Zhang, Fei-Yue Wang 0001	Intelligent contracts: Making smart contracts smart for blockchain intelligence.	Comput. Electr. Eng.	2022	DBLP DOI BibTeX RDF
21	Massimiliano Vatiero	Smart contracts vs incomplete contracts: A transaction cost economics viewpoint.	Comput. Law Secur. Rev.	2022	DBLP DOI BibTeX RDF
21	Thibaut Le Guilly, Nadav Kohen, Ichiro Kuwahara	Bitcoin Oracle Contracts: Discreet Log Contracts in Practice.	ICBC	2022	DBLP DOI BibTeX RDF
21	Giacomo Ibba	A smart contracts repository for top trending contracts.	WETSEB@ICSE	2022	DBLP DOI BibTeX RDF
21	Christof Ferreira Torres	From Smart to Secure Contracts: Automated Security Assessment and Improvement of Ethereum Smart Contracts. (PDF / PS)		2022	RDF
21	Ilhaam A. Omar, Raja Jayaraman, Mazin Debe, Khaled Salah 0001, Ibrar Yaqoob, Mohammed A. Omar	Automating Procurement Contracts in the Healthcare Supply Chain Using Blockchain Smart Contracts.	IEEE Access	2021	DBLP DOI BibTeX RDF
21	Chi-Chun Chou, Nen-Chen Richard Hwang, Gary P. Schneider, Tawei Wang, Chang-Wei Li, William Wei	Using Smart Contracts to Establish Decentralized Accounting Contracts: An Example of Revenue Recognition.	J. Inf. Syst.	2021	DBLP DOI BibTeX RDF
21	Kritagya Upadhyay, Ram Dantu, Yanyan He, Abiola Salau, Syed Badruddoja	Paradigm Shift from Paper Contracts to Smart Contracts.	TPS-ISA	2021	DBLP DOI BibTeX RDF
21	Kayo Iizuka, Chihiro Suematsu	Psychological Contracts in Business Process Transformation Effect: Structure of Psychological Contracts.	ICEIS (2)	2021	DBLP DOI BibTeX RDF
21	Roland Kromes	Designing a specific Low Power architecture for blockchain and Smart Contracts operations in IoT platform. (Conception d'une architecture spécifique Low Power pour les accès blockchain et Smart Contracts des plateformes IoT).		2021	RDF
21	Jan Ladleif	Enforceability aspects of smart contracts on blockchain networks (Aspekte der Durchsetzung von Smart Contracts in Blockchain-Netzwerken) (PDF / PS)		2021	RDF
21	Massimo Bartoletti	Smart Contracts Contracts.	Frontiers Blockchain	2020	DBLP DOI BibTeX RDF
21	Maria G. Vigliotti	What Do We Mean by Smart Contracts? Open Challenges in Smart Contracts.	Frontiers Blockchain	2020	DBLP DOI BibTeX RDF
21	Masanari Kondo, Gustavo Ansaldi Oliva, Zhen Ming (Jack) Jiang, Ahmed E. Hassan, Osamu Mizuno	Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform.	Empir. Softw. Eng.	2020	DBLP DOI BibTeX RDF
21	Lu-Chi Liu, Giovanni Sileno, Tom M. van Engers	Digital Enforceable Contracts (DEC): Making Smart Contracts Smarter.	JURIX	2020	DBLP DOI BibTeX RDF
21	Lars Creutz, Guido Dartmann	Cypher Social Contracts A Novel Protocol Specification for Cyber Physical Smart Contracts.	iThings/GreenCom/CPSCom/SmartData/Cybermatics	2020	DBLP DOI BibTeX RDF
21	Giorgia Lallai, Andrea Pinna 0002, Michele Marchesi, Roberto Tonelli	Software Engineering for DApp Smart Contracts Managing Workers Contracts.	DLT@ITASEC	2020	DBLP BibTeX RDF
21	Jonathan Grey, Isuru S. Godage, Oshani Seneviratne	Swarm Contracts: Smart Contracts in Robotic Swarms with Varying Agent Behavior.	Blockchain	2020	DBLP DOI BibTeX RDF
21	Elodie Adida, Fernanda Bravo	Contracts for Healthcare Referral Services: Coordination via Outcome-Based Penalty Contracts.	Manag. Sci.	2019	DBLP DOI BibTeX RDF
21	Pauline Debono	Transforming Public Procurement Contracts Into Smart Contracts.	Int. J. Inf. Technol. Proj. Manag.	2019	DBLP DOI BibTeX RDF
21	Gregor Nitsche	Structural Contracts - Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning.	CoRR	2019	DBLP BibTeX RDF
21	T. J. de Graaf	From old to new: From internet to smart contracts and from people to smart contracts.	Comput. Law Secur. Rev.	2019	DBLP DOI BibTeX RDF
21	Thomas Hoffmann 0005, Volker Skwarek	Blockchain, Smart Contracts und Recht - Smart Contracts als Risiko für Informatiker.	Inform. Spektrum	2019	DBLP DOI BibTeX RDF
21	Marcelle von Wendland	Smart contracts that are smart and can function as legal contracts - A Review of Semantic Blockchain and Distributed Ledger Technologies.	CoRR	2018	DBLP BibTeX RDF
21	Luca Di Corato, Cesare Dosi, Michele Moretto	Multidimensional auctions for long-term procurement contracts with early-exit options: The case of conservation contracts.	Eur. J. Oper. Res.	2018	DBLP DOI BibTeX RDF