Search results for "contracts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	John William Hatfield, Scott Duke Kominers	Matching in networks with bilateral contracts: extended abstract.	EC	2010	DBLP DOI BibTeX RDF	quasisubmodularity, networks, stability, matching, substitutes
33	Cosimo Laneve, Luca Padovani	The Pairing of Contracts and Session Types.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
33	Georgios K. Giannikis, Aspassia Daskalopulu	The Representation of e-Contracts as Default Theories.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription
33	Kung-Kiu Lau, Vladyslav Ukis	Defining and Checking Deployment Contracts for Software Components.	CBSE	2006	DBLP DOI BibTeX RDF
33	Ralf Hinze, Johan Jeuring, Andres Löh	Typed Contracts for Functional Programming.	FLOPS	2006	DBLP DOI BibTeX RDF
33	Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz	Refactoring with Contracts.	AGILE	2006	DBLP DOI BibTeX RDF
33	Shuyu Li, XiaoJiang Li, Jian Wu	Components and Contracts for Embedded Software.	ECBS	2005	DBLP DOI BibTeX RDF	ESIM, component, embedded, contract
33	Silvia Llorente, Jaime Delgado, Eva Rodríguez, Rubén Barrio, Isabella Longo, Franco Bixio	Generation of Standardised Rights Expressions from Contracts: An Ontology Approach?	OTM Workshops	2005	DBLP DOI BibTeX RDF
33	Michael Maaser, Peter Langendörfer	Automated Negotiation of Privacy Contracts.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	privacy, negotiation, contract, preferences
33	Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl	Component Composition Preserving Behavioural Contracts Based on Communication Traces.	CIAA	2005	DBLP DOI BibTeX RDF
33	Marc Lohmann, Stefan Sauer 0001, Gregor Engels	Executable Visual Contracts.	VL/HCC	2005	DBLP DOI BibTeX RDF
33	Alexander Keller	Automating the Change Management Process with Electronic Contracts.	CEC Workshops	2005	DBLP DOI BibTeX RDF
33	Ralf H. Reussner, Jens Happe, Annegret Habel	Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars.	FASE	2005	DBLP DOI BibTeX RDF
33	Helmut Kneer, Henrik Stormer, Harald Häuschen, Burkhard Stiller	An Agent-Based Framework for Monitoring Service Contracts.	EC-Web	2002	DBLP DOI BibTeX RDF
33	Yao-Hua Tan, Walter Thoen	Using Event Semantics for Modeling Contracts.	HICSS	2002	DBLP DOI BibTeX RDF
33	Kweku-Muata Bryson, William E. Sullivan	Designing Effective Incentive-Oriented Outsourcing Contracts for ERP Systems.	HICSS	2002	DBLP DOI BibTeX RDF
33	Alan S. Abrahams, David M. Eyers, Jean Bacon	A Coverage-Determination Mechanism for Checking Business Contracts against Organizational Policies.	TES	2002	DBLP DOI BibTeX RDF
33	Mark Klein, Peyman Faratin, Hiroki Sayama, Yaneer Bar-Yam	Negotiating complex contracts.	AAMAS	2002	DBLP DOI BibTeX RDF	nonlinear negotiation
33	Kamalakar Karlapalem, Ajay R. Dani, P. Radha Krishna 0001	A Frame Work for Modeling Electronic Contracts.	ER	2001	DBLP DOI BibTeX RDF
33	Holger Schmidt 0003	Service Contracts Based on Workflow Modeling.	DSOM	2000	DBLP DOI BibTeX RDF	Workflow, Business Process, Service Level Agreements, Outsourcing, Service Contract
33	Marjanca Koetsier, Paul W. P. J. Grefen, Jochem Vonk	Contracts for Cross-Organizational Workflow Management.	EC-Web	2000	DBLP DOI BibTeX RDF
33	Kyung-Ah Chang, Do-Gun Jung, Byung-Rae Lee, Tai-Yun Kim	CORBA-Based Fair Contracts Support System for Subjects of Electronic Commerce.	ICPP Workshops	1999	DBLP DOI BibTeX RDF
33	Ian M. Holland	Specifying Reusable Components Using Contracts.	ECOOP	1992	DBLP DOI BibTeX RDF
31	Mike P. Papazoglou	The Challenges of Service Evolution.	CAiSE	2008	DBLP DOI BibTeX RDF	service versioning, service contracts and policies, Web services, regulatory compliance, business protocols, service contracts
31	Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik	On Observing Contracts: Deontic Contracts Meet Smart Contracts.	JURIX	2018	DBLP DOI BibTeX RDF
31	David M. Rahman	But who will monitor the monitor?	EC	2009	DBLP DOI BibTeX RDF	mediated contracts, virtual implementation, monitoring
31	Huiming Qu, Jie Xu 0042, Alexandros Labrinidis	Quality is in the eye of the beholder: towards user-centric web-databases.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	quality contracts, quality of data, quality of service, query processing, transaction processing, web-databases, user-centric
31	Gregor Engels, Baris Güldali, Marc Lohmann	Towards Model-Driven Unit Testing.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	visual contracts, model checking, test case generation, Design by Contract
31	Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlowska	Translating business contract into compliant business processes.	EDOC	2006	DBLP DOI BibTeX RDF	Business Contracts, Internal Business Processes, Collaborative Business Processes
31	Michal Feldman, John Chuang, Ion Stoica, Scott Shenker	Hidden-action in multi-hop routing.	EC	2005	DBLP DOI BibTeX RDF	principal-agent model, routing, mechanism design, contracts, incentives, multi-hop, hidden-action, moral-hazard
31	Nikola Milanovic, Jan Richling, Miroslaw Malek	Lightweight Services for Embedded Systems.	WSTFEUS	2004	DBLP DOI BibTeX RDF	embedded systems, services, contracts
31	Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner	Predictable Component Architectures Using Dependent Finite State Machines.	RISSEF	2002	DBLP DOI BibTeX RDF	automated interface adaptation, component-based interface specification, component-based prediction, production cell, protocol types, parameterised contracts, software architecture, finite state machines
31	Ritu Agarwal, Thomas W. Ferratt	Retention and the career motives of IT professionals.	SIGCPR	2000	DBLP DOI BibTeX RDF	career motives, retention, IT professionals, career anchors, psychological contracts
30	Robert Hirschfeld, Michael Perscheid, Christian Schubert, Malte Appeltauer	Dynamic contract layers.	SAC	2010	DBLP DOI BibTeX RDF	dynamic contract layers, design by contract, software composition, context-oriented programming
30	Krzysztof Mossakowski, Jacek Mandziuk	Learning Without Human Expertise: A Case Study of the Double Dummy Bridge Problem.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
30	Stephen Fenech, Gordon J. Pace, Gerardo Schneider	CLAN: A Tool for Contract Analysis and Conflict Discovery.	ATVA	2009	DBLP DOI BibTeX RDF
30	Youliang Zhong, Jian Yang 0001	Contract-First Design Techniques for Building Enterprise Web Services.	ICWS	2009	DBLP DOI BibTeX RDF
30	Shaz Qadeer	Algorithmic Verification of Systems Software Using SMT Solvers.	SAS	2009	DBLP DOI BibTeX RDF
30	Sabyasachi Saha, Sandip Sen	Opportunistic Scheduling and Pricing Strategies for Automated Contracting in Supply Chains.	Soft Computing Applications in Business	2008	DBLP DOI BibTeX RDF
30	Pontus Boström, Lionel Morel, Marina Waldén	Stepwise Development of Simulink Models Using the Refinement Calculus Framework.	ICTAC	2007	DBLP DOI BibTeX RDF
30	Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden	Developing Consistent Contractual Policies in Service Composition.	APSCC	2007	DBLP DOI BibTeX RDF
30	Victor Hernandez-Baruch, Alberto Portilla, José-Luis Zechinelli-Martini	ROSE: A transactional services coordination engine.	ENC	2007	DBLP DOI BibTeX RDF
30	Krzysztof Mossakowski, Jacek Mandziuk	Neural Networks and the Estimation of Hands' Strength in Contract Bridge.	ICAISC	2006	DBLP DOI BibTeX RDF
30	Philippe Collet, Roger Rousseau, Thierry Coupaye, Nicolas Rivierre	A Contracting System for Hierarchical Components.	CBSE	2005	DBLP DOI BibTeX RDF
30	Samuil Angelov, Sven Till, Paul W. P. J. Grefen	Dynamic and secure B2B e-contract update management.	EC	2005	DBLP DOI BibTeX RDF	e-contract management, e-contract signing, e-contract update, e-commerce, e-contract
30	Roger Tagg, Zoran Milosevic, Sachin Kulkarni, Simon Gibson	Supporting Contract Execution through Recommended Workflows.	DEXA	2004	DBLP DOI BibTeX RDF
30	Andreas Fink	Supply Chain Coordination by Means of Automated Negotiations.	HICSS	2004	DBLP DOI BibTeX RDF
30	Shuyu Li, Jian Wu, Zhengguo Hu	A Contract-Based Component Model for Embedded Systems.	QSIC	2004	DBLP DOI BibTeX RDF
30	Bertrand Meyer 0001	A Framework for Proving Contract-Equipped Classes.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
30	Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till	A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment.	HICSS	2003	DBLP DOI BibTeX RDF
30	Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston	Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control.	EDOC	2003	DBLP DOI BibTeX RDF
30	Yigal Hoffner	Supporting Contract Match-Making.	RIDE	1999	DBLP DOI BibTeX RDF
26	Gwenaël Delaval, Hervé Marchand, Éric Rutten	Contracts for modular discrete controller synthesis.	LCTES	2010	DBLP DOI BibTeX RDF	adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
26	Ivan Porres, Irum Rauf	From Nondeterministic UML Protocol Statemachines to Class Contracts.	ICST	2010	DBLP DOI BibTeX RDF	Protocol Statemachines, class contracts
26	Enrique Martínez, Gregorio Díaz 0001, María-Emilia Cambronero, Gerardo Schneider	A Model for Visual Specification of E-contracts.	IEEE SCC	2010	DBLP DOI BibTeX RDF	deontic specifications, contracts, visual models
26	Martin Nordio, Roman Mitin, Bertrand Meyer 0001, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli	The Role of Contracts in Distributed Development.	SEAFOOD	2009	DBLP DOI BibTeX RDF	Contracts, Distributed Development, Interface Specifications, Software Requirements Specifications
26	Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ernest Teniente	Drawing Preconditions of Operation Contracts from Conceptual Schemas.	CAiSE	2008	DBLP DOI BibTeX RDF	operation contracts, conceptual modelling, integrity constraints
26	Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim	Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.	AGTIVE	2007	DBLP DOI BibTeX RDF	UML Activities, visual contracts, web services, Business processes, graph transformations
26	Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan	Automated generation of monitors for pattern contracts.	SAC	2006	DBLP DOI BibTeX RDF	specification, design patterns, monitoring, contracts, aspects
26	Alvin AuYoung, Laura Rit, Sohn Wiener, John Wilkes	Service contracts and aggregate utility functions.	HPDC	2006	DBLP DOI BibTeX RDF	multijob aggregate-utility function, job scheduling decision, profit-seeking approach, QoS, admission control, resource availability, service contracts
26	Zoran Milosevic, Maria E. Orlowska, Shazia Wasim Sadiq	Linking contracts, processes and services: an event-driven approach.	IEEE SCC	2006	DBLP DOI BibTeX RDF	Business Contracts, Service Interaction, Collaborative Business Processes
26	Evangelos Katsamakas	Competing Value Networks, Incomplete Contracts and IT.	HICSS	2005	DBLP DOI BibTeX RDF	information technology effects, non-contractibles, quality differentiation, buyer-supplier relationships, value chains, value networks, industry structure, network organization, incomplete contracts
26	Jonathan Wareham	Dissolving firm boundaries through surveillance: incomplete contracts, information assets, and process integration.	ICIS	1998	DBLP BibTeX RDF	interorganizational systems, economic theory, incomplete contracts
26	Jonathan Wareham, Niels Bjørn-Andersen, Peter Neergaard	Reinterpreting the demise of hierarchy: a case study in IT, empowerment, and incomplete contracts.	ICIS	1997	DBLP BibTeX RDF	incentive structures, hierarchies, reengineering, empowerment, organization theory, economic theory, incomplete contracts
25	Dominik Hurnaus, Herbert Prähofer	Programming assistance based on contracts and modular verification in the automation domain.	SAC	2010	DBLP DOI BibTeX RDF	automation software, domain-specific language, end-user programming, component-based systems
25	Cristian Prisacariu, Gerardo Schneider	: An Action-Based Logic for Reasoning about Contracts.	WoLLIC	2009	DBLP DOI BibTeX RDF
25	Javier-Alfonso Espinosa-Oviedo, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet	Non-functional properties and services coordination using contracts.	IDEAS	2009	DBLP DOI BibTeX RDF	reliable services-coordination, contract, non-functional properties
25	Jordi Cabot, Robert Clarisó, Daniel Riera	Verifying UML/OCL Operation Contracts.	IFM	2009	DBLP DOI BibTeX RDF
25	Giuseppe Castagna, Luca Padovani	Contracts for Mobile Processes.	CONCUR	2009	DBLP DOI BibTeX RDF
25	Andrés Vignaga, Daniel Perovich, M. Cecilia Bastarrica	Extracting Object Interactions Out of Software Contracts Using Model Transformations.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
25	Elliot Anshelevich, Gordon T. Wilfong	Network Formation and Routing by Strategic Agents Using Local Contracts.	WINE	2008	DBLP DOI BibTeX RDF
25	Christoffer Norvik, John P. Morrison, Dan C. Marinescu, Chen Yu 0005, Gabriela M. Marinescu, Howard Jay Siegel	Managing Contracts in Pleiades Using Trust Management.	ATC	2008	DBLP DOI BibTeX RDF
25	Will Archer, Philip Alexander Levis, John Regehr	Interface contracts for TinyOS.	IPSN	2007	DBLP DOI BibTeX RDF	sensor networks, validation, automated testing, TinyOS, design by contract
25	Cristian Prisacariu, Gerardo Schneider	A Formal Language for Electronic Contracts.	FMOODS	2007	DBLP DOI BibTeX RDF
25	Mari Nyrhinen, Tomi Dahlberg	Is Transaction Cost Economics Theory Able to Explain Contracts Used for and Success of Firm-Wide IT-Infrastructure Outsourcing?	HICSS	2007	DBLP DOI BibTeX RDF
25	Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal	An Automated Approach to System Testing Based on Scenarios and Operations Contracts.	QSIC	2007	DBLP DOI BibTeX RDF
25	Anna Queralt, Ernest Teniente	Specifying the Semantics of Operation Contracts in Conceptual Modeling.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
25	Dean Kuo, Alan D. Fekete, Paul Greenfield, Surya Nepal, John Zic, Savas Parastatidis, Jim Webber	Expressing and Reasoning about Service Contracts in Service-Oriented Computing.	ICWS	2006	DBLP DOI BibTeX RDF
25	Donglin Liang, Kai Xu 0002	Testing Scenario Implementation with Behavior Contracts.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
25	Marc Lohmann, Gregor Engels, Stefan Sauer 0001	Model-driven Monitoring: Generating Assertions from Visual Contracts.	ASE	2006	DBLP DOI BibTeX RDF
25	Ioan Alfred Letia, Adrian Groza	Running Contracts with Defeasible Commitment.	IEA/AIE	2006	DBLP DOI BibTeX RDF	Multi-agent systems, Autonomous agents, Internet applications
25	Marcelo Fantinato, Maria Beatriz Felgar de Toledo, Itana Maria de Souza Gimenes	A Feature-based Approach to Electronic Contracts.	CEC/EEE	2006	DBLP DOI BibTeX RDF
25	Yishai A. Feldman, Leon Gendler	Discern: Towards the Automatic Discovery of Software Contracts.	SEFM	2006	DBLP DOI BibTeX RDF
25	Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani	A Formal Account of Contracts for Web Services.	WS-FM	2006	DBLP DOI BibTeX RDF
25	Timothy S. Gegg-Harrison	Constructing contracts: Making discrete mathematics relevant to beginning programmers.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics
25	Hendrik J. G. Oberholzer, Martin S. Olivier	Privacy Contracts as an Extension of Privacy Policies.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
25	Judita Kruse, Clive Thomsen, Rolf Ernst, Thomas Volling, Thomas Spengler	Introducing Flexible Quantity Contracts into Distributed SoC and Embedded System Design Processes.	DATE	2005	DBLP DOI BibTeX RDF
25	Bertrand Meyer 0001	Doing More with Contracts: Towards Automatic Tests and Proofs.	RISE	2005	DBLP DOI BibTeX RDF
25	Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer 0001	Can Aspects Implement Contracts?.	RISE	2005	DBLP DOI BibTeX RDF
25	Vladimir A. Fomichov	Standard K-Languages as a Powerful and Flexible Tool for Building Contracts and Representing Contents of Arbitrary E-Negotiations.	EC-Web	2005	DBLP DOI BibTeX RDF
25	Guido Governatori, Duy Hoang	A Semantic Web Based Architecture for e-Contracts in Defeasible Logic.	RuleML	2005	DBLP DOI BibTeX RDF
25	Nele Smeets, Eric Steegmans	A Methodology for Writing Class Contracts.	SOFSEM	2005	DBLP DOI BibTeX RDF
25	Odorico von Susani, Philippe Dugerdil	Cross-Organizational Service Maintenance Using Temporal Availability Specification and Contracts.	ICSM	2005	DBLP DOI BibTeX RDF	service maintenance, temporal availability, workflow, e-business, e-contracting, cross-organizational
25	Aida Jertila, Mareike Schoop	Electronic Contracts in Negotiation Support Systems: Challenges, Design and Implementation.	CEC	2005	DBLP DOI BibTeX RDF
25	Frank A. Zdarsky, Jens B. Schmitt	Enhancing mobile QoS based on movement contracts.	IWQoS	2004	DBLP DOI BibTeX RDF
25	Florence Maraninchi, Lionel Morel	Arrays and Contracts for the Specification and Analysis of Regular Systems.	ACSD	2004	DBLP DOI BibTeX RDF
25	Clemens Kerer, Engin Kirda	XGuide - Concurrent Web Engineering with Contracts.	ICWE	2004	DBLP DOI BibTeX RDF
25	Guido Boella, Leendert W. N. van der Torre	Contracts as Legal Institutions in Organizations of Autonomous Agents.	AAMAS	2004	DBLP DOI BibTeX RDF
25	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
25	Peter F. Linington, Stephen W. Neal	Using Policies in the Checking of Business to Business Contracts.	POLICY	2003	DBLP DOI BibTeX RDF