Search results for "contract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Xiang Wang, Guodong Wu	Over-Determinate and Incomplete Contract: Incentive Contract Based on Rabin Motivation Fairness Model.	BIFE	2013	DBLP DOI BibTeX RDF
21	Christian Colombo 0001, Adrian Francalanza, Ian Grima	Simplifying Contract-Violating Traces	FLACOS	2012	DBLP DOI BibTeX RDF
21	Adrian Francalanza, Andrew Gauci, Gordon J. Pace	Distributed System Contract Monitoring	FLACOS	2011	DBLP DOI BibTeX RDF
21	Michael S. Parkin, Dean Kuo, John M. Brooke	A Framework and Protocols for Service Contract Agreements Based on International Contract Law.	Int. J. Web Serv. Res.	2009	DBLP DOI BibTeX RDF
21	Wujun Cao, Peiying He, Jinfeng Wang	Construction and analysis of contract feasible set under quantity-discount contract.	Kybernetes	2008	DBLP DOI BibTeX RDF
21	Aybek Mukhamedov, Mark Dermot Ryan	Fair multi-party contract signing using private contract signatures.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
21	Vandana Kabilan, Jelena Zdravkovic, Paul Johannesson	Using Multi-Tier Contract Ontology to deduce Contract Workflow Model for enterprise interoperability.	EMOI-INTEROP	2005	DBLP BibTeX RDF
21	Andreas Rausch	"Design by Contract" + "Componentware" = "Design by Signed Contract".	J. Object Technol.	2002	DBLP DOI BibTeX RDF
21	Heiko Ludwig, Yigal Hoffner	The Role of Contract and Component Semantics in Dynamic E-Contract Enactment Configuration.	DS-9	2001	DBLP BibTeX RDF
21	Kit Burden	Case Report I: Contract Negotiation not 'Subject-to-Contract'.	Comput. Law Secur. Rev.	2000	DBLP DOI BibTeX RDF
21		Unfair contract terms directive: Suppliers beware: Implementation of the unfair contract terms directive in Europe.	Comput. Law Secur. Rev.	1995	DBLP DOI BibTeX RDF
21	Stephen Fenech, Gordon J. Pace, Gerardo Schneider	Automatic Conflict Detection on Contracts.	ICTAC	2009	DBLP DOI BibTeX RDF
21	Gonzalo Reyes H.	A Centralized Auction Mechanism for the Disability and Survivors Insurance in Chile.	AMMA	2009	DBLP DOI BibTeX RDF
21	Zachary Stengel, Tevfik Bultan	Analyzing singularity channel contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	conversations, asynchronous communication, realizability
21	Thomas Walter 0001, Christian Schaefer, Gina Kounga, Makoto Hamatsu	Evidence Gathering for Remuneration of Shared Connections.	CNSR	2008	DBLP DOI BibTeX RDF	connection sharing, remuneration, authentication, authorization, evidences, non-repudiation
21	Ahmad Kardan, Hamed Janzadeh	A Multi-issue Negotiation Mechanism with Interdependent Negotiation Issues.	ICDS	2008	DBLP DOI BibTeX RDF	Optimization, E-Commerce, Negotiation
21	Marcel Kyas, Cristian Prisacariu, Gerardo Schneider	Run-Time Monitoring of Electronic Contracts.	ATVA	2008	DBLP DOI BibTeX RDF
21	Marco Comuzzi, Mariagrazia Fugini, Stefano Modafferi	Quality Contracts for Cooperative Services and Associated Resources.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF
21	Teresa Franklin	Adventures in Agile Contracting: Evolving from Time and Materials to Fixed Price, Fixed Scope Contracts.	AGILE	2008	DBLP DOI BibTeX RDF
21	Jingyue Li, Jianqiang Ma, Reidar Conradi, Weibing Chen, Junzhong Ji, Chunnian Liu	A Survey on the Business Relationship between Chinese Outsourcing Software Suppliers and Their Outsourcers.	APSEC	2007	DBLP DOI BibTeX RDF
21	Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider	Model Checking Contracts - A Case Study.	ATVA	2007	DBLP DOI BibTeX RDF
21	Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby	Declarative Object Identity Using Relation Types.	ECOOP	2007	DBLP DOI BibTeX RDF
21	Vijay C. Chieu, Thao Nguyen, Liangzhao Zeng	Secure Search of Private Documents in an Enterprise Content Management System.	ICEBE	2007	DBLP DOI BibTeX RDF
21	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
21	Steffen Lamparter, Stefan Luckner, Sybille Mutschler	Formal Specification of Web Service Contracts for Automated Contracting and Monitoring.	HICSS	2007	DBLP DOI BibTeX RDF
21	Zhe (Jessie) Li, T. S. E. Maibaum	An Approach to Integration Testing of Object-Oriented Programs.	QSIC	2007	DBLP DOI BibTeX RDF
21	Steven Reece, Alex Rogers, Stephen J. Roberts, Nicholas R. Jennings	Rumours and reputation: evaluating multi-dimensional trust within a decentralised reputation system.	AAMAS	2007	DBLP DOI BibTeX RDF	multi-dimensional trust, rumour propogation, Dirichlet distribution
21	Xianghua Deng, Robby, John Hatcliff	Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution.	ISoLA	2006	DBLP DOI BibTeX RDF
21	Donglin Liang, Kai Xu 0002	Testing Scenario Implementation with Behavior Contracts.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
21	Adam Zachary Wyner	Sequences, Obligations, and the Contrary-to-Duty Paradox.	DEON	2006	DBLP DOI BibTeX RDF
21	Jing Liu, Jifeng He 0001	Reactive Component based Service-Oriented Design - A Case Study.	ICECCS	2006	DBLP DOI BibTeX RDF
21	Scott A. Allison, Clifford F. Sweet, Douglas P. Beall, Thomas E. Lewis, Thomas Monroe	Department of Defense Picture Archiving and Communication System Acceptance Testing: Results and Identification of Problem Components.	J. Digit. Imaging	2005	DBLP DOI BibTeX RDF	clinical use determination, DIN-PACS, MDIS, monitors, PACS, workstation, acceptance testing, RIS, HIS
21	Yishai A. Feldman	Teaching quality object-oriented programming.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	Software quality
21	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
21	Wen Ding, William Yurcik, Xiaoxin Yin	Outsourcing Internet Security: Economic Analysis of Incentives for Managed Security Service Providers.	WINE	2005	DBLP DOI BibTeX RDF
21	Philippe Collet, Roger Rousseau, Thierry Coupaye, Nicolas Rivierre	A Contracting System for Hierarchical Components.	CBSE	2005	DBLP DOI BibTeX RDF
21	Shangmin Luan, Guozhong Dai	A Computational Approach for Belief Change.	CIS (1)	2005	DBLP DOI BibTeX RDF
21	Guijun Wang, Changzhou Wang, Alice Chen, Haiqin Wang, Casey K. Fung, Stephen A. Uczekaj, Yi-Liang Chen, Wayne Guthmiller, Joseph Lee	Service Level Management using QoS Monitoring, Diagnostics, and Adaptation for Networked Enterprise Systems.	EDOC	2005	DBLP DOI BibTeX RDF
21	Sven Overhage	UnSCom: A Standardized Framework for the Specification of Software Components.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF
21	Chul Jin Kim, Eun Sook Cho	A Workflow Variability Design Technique for Dynamic Component Integration.	AIS	2004	DBLP DOI BibTeX RDF
21	Matthias Blume, David A. McAllester	A sound (and complete) model of contracts.	ICFP	2004	DBLP DOI BibTeX RDF	safety, contracts, predicates
21	Jian Chen, Haoya Chen	Coordination mechanism for postponement strategy with downward substitutable products.	SMC (7)	2004	DBLP DOI BibTeX RDF
21	Dongjun Wu, Min Ding 0002, Lorin M. Hitt	Learning in ERP Contracting: A Principal-Agent Analysis.	HICSS	2004	DBLP DOI BibTeX RDF
21	Adam Zachary Wyner	Maintaining Obligations on Stative Expressions in a Deontic Action Logic.	DEON	2004	DBLP DOI BibTeX RDF
21	Karine Arnout, Bertrand Meyer 0001	Uncovering Hidden Contracts: The .NET Example.	Computer	2003	DBLP DOI BibTeX RDF
21	Lai Xu 0001, Manfred A. Jeusfeld	Pro-active Monitoring of Electronic Contracts.	CAiSE	2003	DBLP DOI BibTeX RDF
21	Benoit Aubert, Jean-François Houde, Michel Patry, Suzanne Rivard	Characteristics of IT Outsourcing Contracts.	HICSS	2003	DBLP DOI BibTeX RDF
21	Paul W. P. J. Grefen, Samuil Angelov	Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
21	Nicolas Le Sommer, Frédéric Guidec	Middleware Support for Resource-Constrained Software Deployment.	DAIS	2003	DBLP DOI BibTeX RDF
21	Sidharth Choudhury, Asit Dan	Downloadable Service Contracts for Disconnected Transactions.	RIDE	2002	DBLP DOI BibTeX RDF
21	Victoria Ungureanu	Regulating E-Commerce through Certified Contracts.	ACSAC	2002	DBLP DOI BibTeX RDF
21	Mark Klein, Peyman Faratin, Yaneer Bar-Yam	Using an Annealing Mediator to Solve the Prisoners' Dilemma in the Negotiation of Complex Contracts.	AMEC	2002	DBLP DOI BibTeX RDF
21	Partha Sarathi Dutta, Sandip Sen	Optimal sequencing of individually rational contracts.	AAMAS	2002	DBLP DOI BibTeX RDF	rational contracts, genetic algorithms
21	Claus Pahl	Components, Contracts, and Connectors for the Unified Modelling Language UML.	FME	2001	DBLP DOI BibTeX RDF
21	Laure Berti-Équille	Integration of Biological Data and Quality-Driven Source Negotiation.	ER	2001	DBLP DOI BibTeX RDF
21	Taghrid Asfour, Ahmed Serhrouchni	RMTP Performance in Heterogeneous Environments & a New QoS-Based Mechanism for Building RMTP Trees.	ISCC	2001	DBLP DOI BibTeX RDF
21	Dongjun Wu, Paul Kleindorfer, Jin E. Zhang	Optimal Bidding and Contracting Strategies in the Deregulated Electric Power Market: Part II.	HICSS	2001	DBLP DOI BibTeX RDF	Modeling, Contracting, Competition, Equilibrium, Bidding
21	Dongjun Wu, Yanjun Sun	The Emergence of Trust in Multi-Agent Bidding: A Computational Approach.	HICSS	2001	DBLP DOI BibTeX RDF	Disequilibrium, Multi-Agent Systems, Trust, Game Theory, Coordination, Reinforcement Learning, Bidding
21	Dongjun Wu, Yanjun Sun	Multi-Agent Bidding and Contracting for Non-Storable Goods.	HICSS	2001	DBLP DOI BibTeX RDF	Genetic Algorithms, Multi-Agent Systems, Game Theory, Negotiation, Contracting, Bidding
21	Markus Greunz, Bernd Schopp, Joachim Haes	Integrating e-Government Infrastructures through Secure XML Document Containers.	HICSS	2001	DBLP DOI BibTeX RDF	Electronic Notification, XML, Electronic Government, Electronic Contracting, Electronic Negotiation
21	Benoit Aubert, Suzanne Rivard	Trends in Outsourcing of Information Systems - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
21	Mark S. Miller, Chip Morningstar, Bill Frantz	Capability-Based Financial Instruments.	Financial Cryptography	2000	DBLP DOI BibTeX RDF
21	Tuomas Sandholm, Yunhong Zhou	Surplus Equivalence of Leveled Commitment Contracts.	ICMAS	2000	DBLP DOI BibTeX RDF	Foundations (game-theory, economics), Agents in electronic commerce, Mechanism design, Conflict resolution and negotiation
21	Audrey Biloon	Caveat emptor.	Int. J. Netw. Manag.	1999	DBLP DOI BibTeX RDF
21	S. Shaheen Fatima, Garimella Uma	An Adaptive Organizational Policy for Multi Agent Systems - AASMAN.	ICMAS	1998	DBLP DOI BibTeX RDF	ContractNet Protocol, Social Reasoning Mechanism, Distributed Computational Economy, Organization Self Design, Multi Agent System
20	Cristian Mateos, Marco Crasso, Alejandro Zunino, Marcelo R. Campo	Separation of concerns in service-oriented applications based on pervasive design patterns.	SAC	2010	DBLP DOI BibTeX RDF	contract-last service consumption, dependency injection, web services, service-oriented computing, separation of concerns
20	Toshiharu Sugawara, Kensuke Fukuda, Toshio Hirotsu, Satoshi Kurihara	Adaptive probabilistic task allocation in large-scale multi-agent systems and its evaluation.	GECCO	2010	DBLP DOI BibTeX RDF	distributed task allocation, optimization, load-balancing, adaptive behavior, contract net protocol
20	Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin	Liability in software engineering: overview of the LISE approach and illustration on a case study.	ICSE (1)	2010	DBLP DOI BibTeX RDF	formal methods, specification, contract, defects, evidence, legal aspects, liability
20	Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt	Specifying norm-governed computational societies.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	agent, policy, norm, executable specification, event calculus, Action language, contract-net
20	Asad B. Sayeed, Soumitra Sarkar, Yu Deng 0004, Rafah Hosn, Ruchi Mahindru, Nithya Rajamani	Characteristics of document similarity measures for compliance analysis.	CIKM	2009	DBLP DOI BibTeX RDF	compliance analysis, contract template retrieval, text mining, latent semantic indexing, cosine similarity
20	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
20	Clément Hurlin	Specifying and checking protocols of multithreaded classes.	SAC	2009	DBLP DOI BibTeX RDF	protocols, object-orientation, multithreading, design by contract
20	Markus Rückert	Verifiably Encrypted Signatures from RSA without NIZKs.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Online contract signing, RSA, Merkle hash trees
20	Henrique Lopes Cardoso, Eugénio C. Oliveira	Flexible deadlines for directed obligations in agent-based business contracts.	AAMAS (2)	2009	DBLP BibTeX RDF	normative behavior, contract, norms, deadline
20	Danny Weyns, Nelis Boucké, Tom Holvoet	A field-based versus a protocol-based approach for adaptive task assignment.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Gradient fields, Extended Contract Net protocol, Automatic Guided Vehicles, AGN, Task assignment
20	Lei Cao 0005, Minglu Li 0001, Jian Cao 0001, Joshua Zhexue Huang	CNP-based Implementation of Service-oriented Workflow Mapping in SHGWMS.	World Wide Web	2008	DBLP DOI BibTeX RDF	workflow mapping, ShanghaiGrid, service-oriented, BDI agent, contract net protocol
20	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino	Semantics-Based Design for Secure Web Services.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	call-by-contract, Web services, static analysis, language-based security, system verification
20	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
20	Robin Jaulmes, Éric Moliné	HNG: A Robust Architecture for Mobile Robots Systems.	EUROS	2008	DBLP DOI BibTeX RDF	real applications, reliability, robotics, robustness, modularity, multi-agent, control architecture, IPC, contract-net protocol
20	Aaron McCoy, Tomás Ward, Seamus C. McLoone, Declan Delaney	Multistep-ahead neural-network predictors for network traffic reduction in distributed interactive applications.	ACM Trans. Model. Comput. Simul.	2007	DBLP DOI BibTeX RDF	Distributed interactive applications, multistep-ahead prediction, network bandwidth reduction, networked multiplayer computer games, predictive contract mechanisms, wargames, neural networks, scalability, consistency, collaborative virtual environments, networked virtual environments, dead reckoning, distributed interactive simulation
20	Haldor Samset, Rolv Bræk	Dealing with Active and Stateful Services in the Service-Oriented Architecture.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF	collaboration-based, behavioral contract, Service-oriented architecture, stateful, service modeling, stateless
20	Christina N. Outlay	Resizing information systems personnel after IT outsourcing: exploring psychological contracts, violations, and employee outcomes.	CPR	2007	DBLP DOI BibTeX RDF	psychological contract violation, strategic information systems planning, IT outsourcing, IS personnel, resizing
20	Gary T. Leavens	Tutorial on JML, the java modeling language.	ASE	2007	DBLP DOI BibTeX RDF	java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking
20	L. J. Wang, A. S. M. Sajeev, Lachana Inchaiwong	A Formal Specification of Interaction Widgets Hierarchy Framework.	ITNG	2006	DBLP DOI BibTeX RDF	device independent interface, abstract interactor, object constraint language (OCL), widget, design by contract
20	Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier	Definition and Correct Refinement of Operation Specifications.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF	System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT
20	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
20	Jing Zhang 0003, Jeff Gray 0001, Yuehua Lin	A model-driven approach to enforce crosscutting assertion checking.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	aspect-oriented programming, program transformation, design by contract, model-driven software development
20	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
20	Michael Maaser, Peter Langendörfer	Automated Negotiation of Privacy Contracts.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	privacy, negotiation, contract, preferences
20	Samir Aknine, Suzanne Pinson, Melvin F. Shakun	An Extended Multi-Agent Negotiation Protocol.	Auton. Agents Multi Agent Syst.	2004	DBLP DOI BibTeX RDF	multi-agent systems, negotiation protocol, contract net protocol
20	Therapon Skotiniotis, David H. Lorenz	Cona: aspects for contracts and contracts for aspects.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	design by contract (DBC), aspect-oriented programming (AOP)
20	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
20	Daniël Vloeberghs, Erik Faes	The role of human resource management in implementing a 'new agreement' between employers and employees.	AI Soc.	2003	DBLP DOI BibTeX RDF	New Deal, Human Resource Management, Quality management, Psychological contract
20	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
20	Silvio Micali	Simple and fast optimistic protocols for fair electronic exchange.	PODC	2003	DBLP DOI BibTeX RDF	invisible trusted parties, fair exchange, Optimistic Protocols, contract signing, certified e-mail
20	Jing Dong 0005, Paulo S. C. Alencar, Donald D. Cowan	On Analysis of Design Component Contracts: A Case Study.	STEP	2003	DBLP DOI BibTeX RDF	Component-based software design, Model Checking, Design Pattern, Contract, Web-based systems, Process Calculus
20	Eivind J. Nordby, Martin Blom, Anna Brunström	On the Relation between Design Contracts and Errors: A Software Development Strategy.	ECBS	2002	DBLP DOI BibTeX RDF	case study, development, contract, error, strategy, fault
20	Karine Arnout, Bertrand Meyer 0001	Finding Implicit Contracts in .NET Components.	FMCO	2002	DBLP DOI BibTeX RDF	Design by ContractTM, Library design, Implicit contracts, Contract Wizard, Metadata, Reuse, Eiffel, .NET
20	Daniel Deveaux, Patrice Frison, Jean-Marc Jézéquel	Increase Software Trustability with Self-Testable Classes in Java.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF	self-testable class, java, XML, software engineering, Software component, software development process, design by contract, testing tools
20	Garimella Uma, Tolety Siva Perraju	Services on the Net: An Agent Based Approach.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	personalized customer service, communication languages, adaptive negotiation protocols, customized financial service, conference management workflow, market-oriented approach, social reasoning model, contract net approach, quality of service, Internet, Internet, negotiation, businesses, vocabulary, service providers, agent-based approach, task sharing