Search results for "Contracts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Guido Governatori, Florian Idelberger, Zoran Milosevic, Régis Riveret, Giovanni Sartor, Xiwei Xu 0001	On legal contracts, imperative and declarative smart contracts, and blockchain systems.	Artif. Intell. Law	2018	DBLP DOI BibTeX RDF
21	Graham Gal, William E. McCarthy	Implementation of REA Contracts as Blockchain Smart Contracts: An Exploratory Exampl.	VMBO	2018	DBLP BibTeX RDF
21	Christian Colombo 0001, Joshua Ellul, Gordon J. Pace	Contracts over Smart Contracts: Recovering from Violations Dynamically.	ISoLA (4)	2018	DBLP DOI BibTeX RDF
21	Ton Chanh Le, Lei Xu 0012, Lin Chen 0009, Weidong Shi	Proving Conditional Termination for Smart Contracts.	BCC@AsiaCCS	2018	DBLP DOI BibTeX RDF
21	Alysson Milanez, Bianca Lima, José Ferreira, Tiago Massoni	Nonconformance between programs and contracts: a study on C#/code contracts open source systems.	SAC	2017	DBLP DOI BibTeX RDF
21	Fangruo Chen, Guoming Lai 0001, Wenqiang Xiao	Provision of Incentives for Information Acquisition: Forecast-Based Contracts vs. Menus of Linear Contracts.	Manag. Sci.	2016	DBLP DOI BibTeX RDF
21	Michael Becker-Peth, Ulrich W. Thonemann	Reference points in revenue sharing contracts - How to design optimal supply chain contracts.	Eur. J. Oper. Res.	2016	DBLP DOI BibTeX RDF
21	Cornelia Gaebert	Reliable Customers and Credible Fixed-Price Contracts for Software Development Projects: A Study of One Supplier's Contracts.	BIR	2015	DBLP DOI BibTeX RDF
21	Gregor Nitsche, Ralph Görgen, Kim Grüttner, Wolfgang Nebel	Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics.	IESS	2015	DBLP DOI BibTeX RDF
21	Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi	On Verifying Resource Contracts using Code Contracts.	LAFM	2013	DBLP DOI BibTeX RDF
21	Ojelanki K. Ngwenyama, William E. Sullivan	Outsourcing contracts as instruments of risk management: Insights from two successful public contracts.	J. Enterp. Inf. Manag.	2007	DBLP DOI BibTeX RDF
21	Lingxiu Dong, Kaijie Zhu	Two-Wholesale-Price Contracts: Push, Pull, and Advance-Purchase Discount Contracts.	Manuf. Serv. Oper. Manag.	2007	DBLP DOI BibTeX RDF
21	Charles J. Corbett, Gregory A. DeCroix, Albert Y. Ha	Optimal shared-savings contracts in supply chains: Linear contracts and double moral hazard.	Eur. J. Oper. Res.	2005	DBLP DOI BibTeX RDF
21	Stephen Saxby	Book review: Computer contracts: Drafting and negotiating computer contracts, Rachel Burnett, Paul Klinger, 2nd ed., Tottel Publishing (2005), 736 pp. hard-cover, £175, ISBN: 0 406 90809 5.	Comput. Law Secur. Rev.	2005	DBLP DOI BibTeX RDF
21	P. Radha Krishna 0001, Kamalakar Karlapalem, Ajay R. Dani	From Contracts to E-Contracts: Modeling and Enactment.	Inf. Technol. Manag.	2005	DBLP DOI BibTeX RDF
21	Timothy Stubbs, Rachel Burnett	IT Contracts: IT Contracts for English Customers with Russian Parties.	Comput. Law Secur. Rev.	2001	DBLP DOI BibTeX RDF
21	Lorna E. Gillies	Jurisdiction for Consumer Contracts: European Union: Modified Rules of Jurisdiction for Electronic Consumer Contracts.	Comput. Law Secur. Rev.	2001	DBLP DOI BibTeX RDF
21	Mark Moncreiffe	Telecoms service contracts: Telecommunications service contracts - The legal implications.	Comput. Law Secur. Rev.	2000	DBLP DOI BibTeX RDF
18	Yi Wei 0001, Yu Pei 0001, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer 0001, Andreas Zeller	Automated fixing of programs with contracts.	ISSTA	2010	DBLP DOI BibTeX RDF	automatic debugging, automatic fixing, dynamic invariants, program synthesis
18		ConTracts.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
18	Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer	A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
18	Peter A. Moldovyanu, E. Dernova, A. Kostina, Nick A. Moldovyan	Multisignature Protocols and Problem of Simultaneous Signing a Package of Contracts.	IF&GIS	2009	DBLP DOI BibTeX RDF	Collective digital signature, multisignature schemes, Digital signature, Public key, Finite group, Discrete logarithm problem
18	Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal	Formal and executable contracts for transaction-level modeling in SystemC.	EMSOFT	2009	DBLP DOI BibTeX RDF	formal component models, systems-on-a-chip, virtual prototyping, transaction-level-modeling
18	André Luiz B. Rodrigues, Leila N. Bezerra, Alexandre Sztajnberg, Orlando Loques	Self-Adaptation of Fault Tolerance Requirements Using Contracts.	CSE (2)	2009	DBLP DOI BibTeX RDF
18	Paul Groth, Simon Miles, Sanjay Modgil, Nir Oren, Michael Luck, Yolanda Gil	Determining the Trustworthiness of New Electronic Contracts.	ESAW	2009	DBLP DOI BibTeX RDF
18	Alvaro Arenas, Michael D. Wilson, Shirley Y. Crompton, Dana Cojocarasu, Tobias Mahler, Lutz Schubert	Bridging the Gap between Legal and Technical Contracts.	IEEE Internet Comput.	2008	DBLP DOI BibTeX RDF
18	Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve	Specification and Checking of Software Contracts for Conditional Information Flow.	FM	2008	DBLP DOI BibTeX RDF
18	Henri Eberspächer, Michelle Joab	An Intelligent Web-Based Learning System for Group Collaboration Using Contracts.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	Intelligent Web-based learning, Role-based collaboration, Contract
18	Athanasios N. Yannacopoulos, Costas Lambrinoudakis, Stefanos Gritzalis, Stylianos Z. Xanthopoulos, Sokratis K. Katsikas	Modeling Privacy Insurance Contracts and Their Utilization in Risk Management for ICT Firms.	ESORICS	2008	DBLP DOI BibTeX RDF	Random Utility Models, Privacy, Risk Modeling, Insurance
18	Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava	A Rule-Based Notation to Specify Executable Electronic Contracts.	RuleML	2008	DBLP DOI BibTeX RDF
18	Teresa Franklin	Adventures in Agile Contracting: Evolving from Time and Materials to Fixed Price, Fixed Scope Contracts.	AGILE	2008	DBLP DOI BibTeX RDF
18	Hermann Härtig, Steffen Zschaler, Martin Pohlack, Ronald Aigner, Steffen Göbel 0001, Christoph Pohl, Simone Röttger	Enforceable component-based realtime contracts.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Component runtime environment, Real-time systems, Component-based software engineering, Model-driven software development
18	Francisco Curbera	Component Contracts in Service-Oriented Architectures.	Computer	2007	DBLP DOI BibTeX RDF	SOAs, Web services, service orientation, service component architecture
18	Reiko Heckel, Marc Lohmann	Model-driven development of reactive information systems: from graph transformation rules to JML contracts.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
18	Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider	Model Checking Contracts - A Case Study.	ATVA	2007	DBLP DOI BibTeX RDF
18	K. Vidyasankar, P. Radha Krishna 0001, Kamalakar Karlapalem	A Multi-level Model for Activity Commitments in E-contracts.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
18	Michael Maaser, Steffen Ortmann, Peter Langendörfer	The Privacy Advocate: Assertion of Privacy by Personalised Contracts.	WEBIST (Selected Papers)	2007	DBLP DOI BibTeX RDF	privacy contract, Privacy, mobile devices, negotiation, personalisation, user preferences, P3P
18	Steffen Lamparter, Stefan Luckner, Sybille Mutschler	Formal Specification of Web Service Contracts for Automated Contracting and Monitoring.	HICSS	2007	DBLP DOI BibTeX RDF
18	Mary Poppendieck	Agile Contracts.	ICSE Companion	2007	DBLP DOI BibTeX RDF
18	Ritesh Kumar Tiwari, Vishal Dwivedi, Kamalakar Karlapalem	SLA Driven Process Security through Monitored E-contracts.	IEEE SCC	2007	DBLP DOI BibTeX RDF
18	Alexandros Labrinidis, Huiming Qu, Jie Xu 0042	Quality Contracts for Real-Time Enterprises.	BIRTE	2006	DBLP DOI BibTeX RDF
18	Leonardo Cardoso, Alexandre Sztajnberg, Orlando Loques	Self-Adaptive Applications Using ADL Contracts.	SelfMan	2006	DBLP DOI BibTeX RDF
18	Leonas Ustinovichius, Edmundas Kazimieras Zavadskas, Darius Migilinskas, Anna Malewska, Paul Nowak, Andrew Minasowicz	Verbal Analysis of Risk Elements in Construction Contracts.	CDVE	2006	DBLP DOI BibTeX RDF
18	Javier Bustos-Jiménez, Denis Caromel, Mario Leyton, José M. Piquer	Coupling Contracts for Deployment on Alien Grids.	Euro-Par Workshops	2006	DBLP DOI BibTeX RDF
18	Russell Lock	Automated Negotiation for Service Contracts.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
18	Ingo Oesterreicher, Andreas Mitschele, Frank Schlottmann, Detlef Seese	Comparison of multi-objective evolutionary algorithms in optimizing combinations of reinsurance contracts.	GECCO	2006	DBLP DOI BibTeX RDF	mean-variance-criterion, optimal reinsurance, multi-objective evolutionary algorithm, value-at-risk
18	Bei Shui Liao, Huaxin Huang, Ji Gao	An Extended BDI Agent with Policies and Contracts.	PRIMA	2006	DBLP DOI BibTeX RDF
18	Georgios K. Giannikis, Aspassia Daskalopulu	Defeasible Reasoning with e-Contracts.	IAT	2006	DBLP DOI BibTeX RDF
18	Jean-Marc Jézéquel	Reifying the Semantic Domains of Component Contracts.	DIPES	2006	DBLP DOI BibTeX RDF
18	Patrice Chalin	Are Practitioners Writing Contracts?	RODIN Book	2006	DBLP DOI BibTeX RDF	program assertions, empirical study, design by contract, Eiffel
18	Surya Nepal, John Zic, Thi Chau	Compatibility of Service Contracts in Service-Oriented Ap.	IEEE SCC	2006	DBLP DOI BibTeX RDF
18	Lai Xu 0001, Manfred A. Jeusfeld, Paul W. P. J. Grefen	Detection tests for identifying violators of multi-party contracts.	SIGecom Exch.	2005	DBLP DOI BibTeX RDF	contract violation, detecting contract violator, E-contract
18	Juong-Sik Lee, Boleslaw K. Szymanski	Stabilizing markets via a novel auction based pricing mechanism for short-term contracts for network services.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
18	Bei Shui Liao, Ji Gao	A Model of Multi-agent System Based on Policies and Contracts.	CEEMAS	2005	DBLP DOI BibTeX RDF
18	Yan Jin, Jun Han 0004	Runtime Validation of Behavioural Contracts for Component Software.	QSIC	2005	DBLP DOI BibTeX RDF
18	Lionel C. Briand, Wojciech J. Dzidek, Yvan Labiche	Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging.	ICSM	2005	DBLP DOI BibTeX RDF
18	Emily M. Weitzenböck	Good faith and fair dealing in contracts formed and performed by electronic agents.	Artif. Intell. Law	2004	DBLP DOI BibTeX RDF	contract formation, contract performance, electronic agents, fair dealing, good faith, autonomous agents
18	Ralph-Johan Back, Cristina Cerschi Seceleanu	Contracts and Games in Controller Synthesis for Discrete Systems.	ECBS	2004	DBLP DOI BibTeX RDF
18	John Strassner	Using Lifecycles and Contracts to Build Better Telecommunications Systems.	ECUMN	2004	DBLP DOI BibTeX RDF
18	Carson Reynolds, Rosalind W. Picard	Affective sensors, privacy, and ethical contracts.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	contractualism, privacy, sensors, affective computing, ethics, emotion recognition
18	Zafeer Alibhai, William A. Gruver, Dilip B. Kotak, Dorian Sabaz	Distributed coordination of micro-grids using bilateral contracts.	SMC (2)	2004	DBLP DOI BibTeX RDF
18	Lai Xu 0001, Manfred A. Jeusfeld	Detecting Violators of Multi-party Contracts.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF
18	Mark A. Brown	Obligation, Contracts, and Negotiation.	DEON	2004	DBLP DOI BibTeX RDF
18	Iman Poernomo	Proofs-as-Imperative-Programs: Application to Synthesis of Contracts.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
18	Henner Gimpel, Heiko Ludwig, Asit Dan, Robert D. Kearney	PANDA: Specifying Policies for Automated Negotiations of Service Contracts.	ICSOC	2003	DBLP DOI BibTeX RDF
18	Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava	Model Checking Correctness Properties of Electronic Contracts.	ICSOC	2003	DBLP DOI BibTeX RDF	contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract
18	Melissa J. Buco, Rong N. Chang, Laura Z. Luan, Christopher Ward, Joel L. Wolf, Philip S. Yu, Tevfik Kosar, Syed Umair Ahmed Shah	Managing eBusiness on Demand SLA Contracts in Business Terms Using the Cross-SLA Execution Manager SAM.	ISADS	2003	DBLP DOI BibTeX RDF
18	Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel	Requirements by Contracts allow Automated System Testing.	ISSRE	2003	DBLP DOI BibTeX RDF
18	Lai Xu 0001, Manfred A. Jeusfeld	Pro-active Monitoring of Electronic Contracts.	CAiSE	2003	DBLP DOI BibTeX RDF
18	Gerald Quirchmayr, Zoran Milosevic, Roger Tagg, James B. Cole, Sachin Kulkarni	Establishment of Virtual Enterprise Contracts.	DEXA	2002	DBLP DOI BibTeX RDF
18	Hans Weigand, Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum	Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts.	ESAW	2002	DBLP DOI BibTeX RDF
18	Zoran Milosevic, R. Geoff Dromey	On Expressing and Monitoring Behaviour in Contracts.	EDOC	2002	DBLP DOI BibTeX RDF
18	Khaled M. Khan, Jun Han 0004, Yuliang Zheng 0001	A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
18	Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel	Robustness and Diagnosability of OO Systems Designed by Contracts.	IEEE METRICS	2001	DBLP DOI BibTeX RDF
18	Fredrik Vraalsen, Ruth A. Aydt, Celso L. Mendes, Daniel A. Reed	Performance Contracts: Predicting and Monitoring Grid Application Behavior.	GRID	2001	DBLP DOI BibTeX RDF
18	Eleanna Kafeza, Dickson K. W. Chiu, Irene Kafeza	View-Based Contracts in an E-Service Cross-Organizational Workflow Environment.	TES	2001	DBLP DOI BibTeX RDF
18	Merijn de Jonge, Joost Visser 0001	Grammers as Contracts.	GCSE	2000	DBLP DOI BibTeX RDF
18	James Huw Evans, Peter Dickman	Zones, Contracts and Absorbing Changes: An Approach to Software Evolution.	OOPSLA	1999	DBLP DOI BibTeX RDF
18	Michael Ben-Or, Oded Goldreich 0001, Silvio Micali, Ronald L. Rivest	A Fair Protocol for Signing Contracts (Extended Abstract).	ICALP	1985	DBLP DOI BibTeX RDF
16	James Skene, Franco Raimondi, Wolfgang Emmerich	Service-Level Agreements for Electronic Services.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	electronic services, domain-specific languages, Service-level agreements, model-driven engineering, contracts
16	Massimo Bartoletti, Roberto Zunino	A Calculus of Contracting Processes.	LICS	2010	DBLP DOI BibTeX RDF	circular assume-guarantee, concurrent constraints, contracts, cut elimination
16	Matthias Felleisen	Adding types to untyped languages.	TLDI	2010	DBLP DOI BibTeX RDF	software contracts, type systems, scheme
16	Muhammad Adeel Talib, Alan W. Colman, Jun Han 0004, Justin King, Malinda Kapuruge	A Service Packaging Platform for Delivering Services.	IEEE SCC	2010	DBLP DOI BibTeX RDF	service packaging platform, service delivery functions, service contracts
16	Burkhard Stiller	Telecommunication economics - overview of the field, recommendations, and perspectives.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	Telecommunication and internet services, Tariffing and pricing, Contracts and legal domains, Dynamic business, Personalization, Incentives, Accounting, Competition, Quality-of-Experience, Value chain
16	Benjamin Edelman	Deterring Online Advertising Fraud through Optimal Payment in Arrears.	Financial Cryptography	2009	DBLP DOI BibTeX RDF	contracts, signaling, online advertising, screening, fraud
16	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks	Static type inference for Ruby.	SAC	2009	DBLP DOI BibTeX RDF	contracts, type inference, Ruby, dynamic typing
16	Gian Luigi Albano, Federico Dini, Roberto Zampino	Bidding for Complex Projects: Evidence from Italian Government's Acquisitions of IT Services.	EGOV	2009	DBLP DOI BibTeX RDF	tenders, IT contracts, complex projects, procurement, scoring rules
16	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
16	Jing Ming, Mao Pan	An Improved Horizons Method for 3D Geological Modeling from Boreholes.	ESIAT (2)	2009	DBLP DOI BibTeX RDF	improved horizons method, 3D geological modeling, borehole modeling, contracts numbering tool
16	Ying-Ju Chen, Xiaojian Zhao	Contractual traps.	TARK	2009	DBLP DOI BibTeX RDF	principal-agent relationship, cognition, unawareness, incomplete contracts
16	Anna Queralt, Ernest Teniente	Reasoning on UML Conceptual Schemas with Operations.	CAiSE	2009	DBLP DOI BibTeX RDF	operation contracts, Conceptual modeling, automatic reasoning
16	Sanjay Modgil, Noura Faci, Felipe Rech Meneguzzi, Nir Oren, Simon Miles, Michael Luck	A framework for monitoring agent-based normative systems.	AAMAS (1)	2009	DBLP BibTeX RDF	monitoring, norms, electronic contracts
16	Neelam Soundarajan, Jason O. Hallstrom, Guoqiang Shu, Adem Delibas	Patterns: from system design to software testing.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Testing, Design patterns, Contracts
16	Vasilios Andrikopoulos, Salima Benbernou, Mike P. Papazoglou	Managing the Evolution of Service Specifications.	CAiSE	2008	DBLP DOI BibTeX RDF	service versioning, Web services, service differentiation, service contracts
16	Anniina Huttunen, Ville Oksanen, Juha Laine	Digital consumer and user rights in EU policy.	ICEC	2008	DBLP DOI BibTeX RDF	contracts, copyright, consumers, European union
16	Konstantinos Sagonas, Daniel Luna	Gradual typing of erlang programs: a wrangler experience.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	dialyzer, software defect detection, contracts, erlang
16	Marcelo Fantinato, Itana Maria de Souza Gimenes, Maria Beatriz Felgar de Toledo	Supporting QoS Negotiation with Feature Modeling.	ICSOC	2007	DBLP DOI BibTeX RDF	QoS, Web services, features, e-contracts, information reuse
16	Dave Arnold, Jean-Pierre Corriveau, Vojislav D. Radonjic	Open framework for conformance testing via scenarios.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	metrics, scenarios, contracts, conformance testing, non-functional requirements
16	Xin Chen 0027, Jifeng He 0001, Zhiming Liu 0001, Naijun Zhan	A Model of Component-Based Programming.	FSEN	2007	DBLP DOI BibTeX RDF	Glue Codes, Protocols, Components, Composition, Refinement, Contracts, Application Programs
16	David B. Martin 0001, Rob Procter, John Mariani, Mark Rouncefield	Working the contract.	OZCHI	2007	DBLP DOI BibTeX RDF	customizable-off-the-shelf (COTS) healthcare information systems, ethnography, project management, contracts