Search results for "contract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	Susanne Guth, Bernd Simon, Uwe Zdun	A Contract and Rights Management Framework Design for Interacting Brokers.	HICSS	2003	DBLP DOI BibTeX RDF
38	Olivier Perrin 0001, Claude Godart	A Contract Model to Deploy and Control Cooperative Processes.	TES	2003	DBLP DOI BibTeX RDF
38	Theodosis Dimitrakos, Ivan Djordjevic, Zoran Milosevic, Audun Jøsang, Chris I. Phillips 0001	Contract Performance Assessment for Secure and Dynamic Virtual Collaborations.	EDOC	2003	DBLP DOI BibTeX RDF
38	Pedro Guerreiro	Simple Support for Design by Contract in C++.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
38	Mbi Makungu, Michel Barbeau	The contract approach illustrated with a distributed routing protocol.	CASCON	1994	DBLP BibTeX RDF
38	Fu-Shiung Hsieh, Chih Yi Chiang	Workflow Planning in Holonic Manufacturing Systems with Extended Contract Net Protocol.	IEA/AIE	2009	DBLP DOI BibTeX RDF	workflow, Holonic manufacturing system, contract net
38	Qing Zhang, Qiaoyan Wen, Gengli Chen	Efficient Fair Contract Signing Protocol from Bilinear Pairings.	ISECS	2008	DBLP DOI BibTeX RDF	Trusted Third Party (TTP), bilinear pairings, fair exchange, contract signing
38	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
38	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
38	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
38	Adiel Teixeira de Almeida	Multicriteria Modelling of Repair Contract Based on Utility and ELECTRE I Method with Dependability and Service Quality Criteria.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	repair contract, ELECTRE method, decision analysis, utility theory, multicriteria decision making
38	Venu K. Murthy, E. V. Krishnamurthy	Contextual information management using contract: based workflow.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	ambient intelligent computing environment (AmI), chemical-reactivity properties, contextual management, contract-based workflow, intention - context-action protocol, agents
38	Yongjian Li, Jian Chen, Xiaoqiang Cai, Fengsheng Tu	Optimal Manpower Planning with Temporal Labor and Contract Period Constraints.	AAIM	2005	DBLP DOI BibTeX RDF	minimal contract period, temporal labor, dynamic program, Manpower planning
38	Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth	Contract-Checking Wrappers for C++ Classes.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques
38	Xueguang Chen, Haigang Song	Further extensions of FIPA Contract Net Protocol: threshold plus DoA.	SAC	2004	DBLP DOI BibTeX RDF	CNCP, MEU, Multi-Agent System, threshold, deadline, Contract Net Protocol, DoA
37	Dana N. Xu, Simon L. Peyton Jones, Koen Claessen	Static contract checking for Haskell.	POPL	2009	DBLP DOI BibTeX RDF	contract satisfaction, static contract checking
35	Marco Comuzzi, Barbara Pernici	A framework for QoS-based Web service contracting.	ACM Trans. Web	2009	DBLP DOI BibTeX RDF	QoS, Web service, negotiation, SLA, service selection, matchmaking
35	Nikolay Archak, Panagiotis G. Ipeirotis	Modeling volatility in prediction markets.	EC	2009	DBLP DOI BibTeX RDF	binary option, forecasting, prediction market, volatility
35	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
35	Krishnamurthy Vidyasankar, P. Radha Krishna 0001, Kamalakar Karlapalem	Study of Execution Centric Payment Issues in E-contracts.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	transaction properties, composition graph, payment tree, payments, e-contracts
35	Alex Gontmakher, Avi Mendelson, Assaf Schuster, Gregory Shklover	Code Compilation for an Explicitly Parallel Register-Sharing Architecture.	ICPP	2007	DBLP DOI BibTeX RDF	register sharing, explicitly parallel code, optimizations, multithreading, register allocation, Fine grain parallelization
35	Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz	Jose: Aspects for Design by Contract80-89.	SEFM	2006	DBLP DOI BibTeX RDF
35	Lai Xu 0001, Manfred A. Jeusfeld	Detecting Violators of Multi-party Contracts.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF
35	Victoria Ungureanu, Benjamin Melamed, Michael N. Katehakis	Towards an Efficient Cluster-Based E-Commerce Server.	CLUSTER	2003	DBLP DOI BibTeX RDF
35	Wolfgang Hümmer, Wolfgang Lehner, Hartmut Wedekind	Contracting in the Days of eBusiness.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
35	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
35	Charles Herring, Zoran Milosevic	Implementing B2B Contracts using BizTalk.	HICSS	2001	DBLP DOI BibTeX RDF
35	Olivera Marjanovic, Zoran Milosevic	Towards Formal Modeling of e-Contracts.	EDOC	2001	DBLP DOI BibTeX RDF
35	Richard Chimera, Ben Shneiderman	An Exploratory Evaluation of Three Interfaces for Browsing Large Hierarchical Tables of Contents.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	user interfaces, browsing, hierarchies, table of contents
35	Ian M. Holland	Specifying Reusable Components Using Contracts.	ECOOP	1992	DBLP DOI BibTeX RDF
35	Satish M. Thatte	A Modular and Open Object-Oriented Database System.	SIGMOD Rec.	1991	DBLP DOI BibTeX RDF
34	Nicola Dragoni, Eduardo Lostal, Davide Papini	(SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart Cards.	POLICY	2011	DBLP DOI BibTeX RDF	Security-by-contract, open multi-application smart cards, secure communication
34	Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001	A comparative study of programmer-written and automatically inferred contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic contract inference, eiffel
34	Evandro Bacarin, Edmundo R. M. Madeira, Claudia Bauzer Medeiros	Assembling and Managing Virtual Organizations out of Multi-party Contracts.	ICEIS	2009	DBLP DOI BibTeX RDF	Multi-party contract, Ballot, Negotiation, Auction, Supply chain, Virtual organization, Bargain
34	Emad Abdel Rahim Dahiyat	Intelligent agents and contracts: Is a conceptual rethink imperative?	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	Subjective theory, Objective theory, Intelligent agent, Contract, Intention
34	Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
34	Pierre Lévine, Jean-Charles Pomerol	From Business Modeling Based on the Semantics of Contracts to Knowledge Modeling and Management.	HICSS	2001	DBLP DOI BibTeX RDF	Contract-based Modeling, Knowledge Management, Business Modeling, Knowledge Modeling, Human resources Management
34	Reinhold Plösch, Josef Pichler	Contracts: From Analysis to C++ Implementation.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	assertions, Design by Contract
31	Kenneth L. Knowles, Cormac Flanagan	Compositional reasoning and decidable checking for dependent contract types.	PLPV	2009	DBLP DOI BibTeX RDF	refinement types, abstraction, dependent types, compositional reasoning
31	Youliang Zhong, Jian Yang 0001	Contract-First Design Techniques for Building Enterprise Web Services.	ICWS	2009	DBLP DOI BibTeX RDF
31	Jelena Zdravkovic, Vandana Kabilan	Contract-Based Exception Handling Process Patterns.	UNISCON	2008	DBLP DOI BibTeX RDF
31	Dehui Du, Jing Liu 0012, Honghua Cao	A Rigorous Model of Contract-Based Service Component Architecture.	CSSE (2)	2008	DBLP DOI BibTeX RDF
31	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
31	Ravish Mahajan, Arobinda Gupta	Scalable Contract Net Based Resource Allocation Strategies for Grids.	PDCAT	2008	DBLP DOI BibTeX RDF
31	Mario Bravetti, Gianluigi Zavattaro	Contract Compliance and Choreography Conformance in the Presence of Message Queues.	WS-FM	2008	DBLP DOI BibTeX RDF
31	Robert Bruce Findler, Shu-yu Guo, Anne Rogers	Lazy Contract Checking for Immutable Data Structures.	IFL	2007	DBLP DOI BibTeX RDF
31	Mesfin Mulugeta, Alexander Schill	An Approach for QoS Contract Negotiation in Distributed Component-Based Software.	CBSE	2007	DBLP DOI BibTeX RDF
31	Mesfin Mulugeta, Alexander Schill	A Framework for QoS Contract Negotiation in Component-Based Applications.	CEE-SET	2007	DBLP DOI BibTeX RDF
31	Philippe Collet, Alain Ozanne, Nicolas Rivierre	Towards a Versatile Contract Model to Organize Behavioral Specifications.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
31	Henrique Lopes Cardoso, Eugénio C. Oliveira	A Contract Model for Electronic Institutions.	COIN	2007	DBLP DOI BibTeX RDF
31	Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlowska	Towards a Methodology for Deriving Contract-Compliant Business Processes.	Business Process Management	2006	DBLP DOI BibTeX RDF
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	Keith B. Frikken, Mikhail J. Atallah	Achieving Fairness in Private Contract Negotiation.	Financial Cryptography	2005	DBLP DOI BibTeX RDF
31	Henrique Lopes Cardoso, Eugénio C. Oliveira	Towards an Institutional Environment Using Norms for Contract Performance.	CEEMAS	2005	DBLP DOI BibTeX RDF
31	Christophe Garion, Leendert W. N. van der Torre	Design by Contract Deontic Design Language for Multiagent Systems.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
31	Sriram K. Rajamani, Jakob Rehof	Models for Contract Conformance.	ISoLA	2004	DBLP DOI BibTeX RDF
31	Feng Bao 0001, Guilin Wang, Jianying Zhou 0001, Huafei Zhu	Analysis and Improvement of Micali's Fair Contract Signing Protocol.	ACISP	2004	DBLP DOI BibTeX RDF
31	Benjamin Gâteau, Djamel Khadraoui, Olivier Boissier, Eric Dubois 0001	Contract Model for Agent Mediated Electronic Commerce.	AAMAS	2004	DBLP DOI BibTeX RDF
31	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
31	Alexander Keller 0002, Gautam Kar, Heiko Ludwig, Asit Dan, Joseph L. Hellerstein	Managing dynamic services: a contract based approach to a conceptual architecture.	NOMS	2002	DBLP DOI BibTeX RDF
31	Bernhard K. Aichernig	Contract-Based Testing.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
31	Rohit Chadha, Max I. Kanovich, Andre Scedrov	Inductive methods and contract-signing protocols.	CCS	2001	DBLP DOI BibTeX RDF
31	Lai Xu 0001, Hans Weigand	The Evolution of the Contract Net Protocol.	WAIM	2001	DBLP DOI BibTeX RDF
31	Vitaly Shmatikov, John C. Mitchell	Analysis of Abuse-Free Contract Signing.	Financial Cryptography	2000	DBLP DOI BibTeX RDF
31	Jae Kyu Lee, Woongkyu Lee	Intelligent Agent Based Contract Process in Electronic Commerce: UNIK-AGENT Approach.	HICSS (4)	1997	DBLP DOI BibTeX RDF
31	Taigui Qin	Supply Chain Management with Revenue-Sharing Contract in a JIT Setting.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Demand uncertainty, Revenue-sharing contract, Supply chain management
31	ByungRae Cha, YoungIl Kim	CRYPTEX Model for E-Commercial Contract of Software Source Code Using Secrete Sharing Scheme.	ISA	2009	DBLP DOI BibTeX RDF	CRYPTEX Model, Software Source code, E-Commercial Contract, Secrete Sharing Scheme
31	Kunal Goswami, Arobinda Gupta	Resource Selection in Grids Using Contract Net.	PDP	2008	DBLP DOI BibTeX RDF	Grid, Selection, Resource, Contract Net
31	Panupong Sornkhom, Yongyuth Permpoontanalarp	Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets.	SNPD	2008	DBLP DOI BibTeX RDF	Formal methods for Cryptographic protocols, Fair Contract Signing Protocols
31	Rohit Chadha, Steve Kremer, Andre Scedrov	Formal Analysis of Multiparty Contract Signing.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	multiparty contract signing, GM protocol
31	James H. Kaufman, Stefan Edlund, Daniel Alexander Ford, Calvin Powers	The Social Contract Core.	Electron. Commer. Res.	2005	DBLP DOI BibTeX RDF	social contract, privacy, P3P
31	Hiroshi Maruyama, Taiga Nakamura, Tony Hsieh	Optimistic fair contract signing for Web services.	XML Security	2003	DBLP DOI BibTeX RDF	fair contract signing, optimistic fair exchange, Web services
31	Stephen S. Yau, Yu Wang 0015, Dazhi Huang, Hoh Peter In	Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing.	FTDCS	2003	DBLP DOI BibTeX RDF	Situation-Aware Contract Specification Language (SA-CSL), Reconfigurable Context-Sensitive Middleware (RCSM), security, Quality of Service (QoS), Ubiquitous computing, real time, middleware, situation-awareness, Aspect-Oriented Software Development (AOSD)
31	James H. Kaufman, Stefan Edlund, Daniel Alexander Ford, Calvin Powers	The social contract core.	WWW	2002	DBLP DOI BibTeX RDF	social contract, privacy, P3P
31	James H. Kaufman, Joann Ruvolo, Daniel Alexander Ford	Tempus fight and the need for an e-social contract.	Agents	2001	DBLP DOI BibTeX RDF	active calendar, personal information management system, social contract, agent, calendar
31	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
28	Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar	Monotonicity in Service Orchestrations.	Petri Nets	2009	DBLP DOI BibTeX RDF
28	Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung	Modular argumentation for modelling legal doctrines of performance relief.	ICAIL	2009	DBLP DOI BibTeX RDF	legal doctrines, argumentation, frustration, impossibility
28	Ying-Ju Chen, Xiaojian Zhao	Contractual traps.	TARK	2009	DBLP DOI BibTeX RDF	principal-agent relationship, cognition, unawareness, incomplete contracts
28	Hamed Janzadeh, Ahmad Kardan	A Multi-Issue Negotiation Mechanism for Bounded Rational Negotiators.	ITNG	2008	DBLP DOI BibTeX RDF	Game Theory, Optimization Methods, Bounded Rationality, Multi-Issue Negotiation
28	Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf	From Public Views to Private Views - Correctness-by-Design for Services.	WS-FM	2007	DBLP DOI BibTeX RDF
28	Detlef Kähler, Ralf Küsters, Thomas Wilke	A Dolev-Yao-Based Definition of Abuse-Free Protocols.	ICALP (2)	2006	DBLP DOI BibTeX RDF
28	Ralf Hinze, Johan Jeuring, Andres Löh	Typed Contracts for Functional Programming.	FLOPS	2006	DBLP DOI BibTeX RDF
28	Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer	Can I Please Drop It? Dialogues About Belief Contraction.	AC	2006	DBLP DOI BibTeX RDF
28	Yurong Yao, Lisa D. Murphy	A state-transition approach to application service provider client-vendor relationship development.	Data Base	2005	DBLP DOI BibTeX RDF	IT contracts, expectations match, relationship development, trust, dependence, outsourcing, conflict resolution, credibility, capability, ASP
28	Christopher Ward, Melissa J. Buco, Rong N. Chang, Laura Z. Luan, Edward So, Chunqiang Tang	Fresco: A Web Services based Framework for Configuring Extensible SLA Management Systems.	ICWS	2005	DBLP DOI BibTeX RDF
28	Adrian Paschke, Martin Bichler	SLA Representation, Management and Enforcement.	EEE	2005	DBLP DOI BibTeX RDF
28	Yan Jin, Jun Han 0004	Runtime Validation of Behavioural Contracts for Component Software.	QSIC	2005	DBLP DOI BibTeX RDF
28	Jun Han 0004, Ksze Kae Ker	Ensuring Compatible Interactions within Component-based Software Systems.	APSEC	2003	DBLP DOI BibTeX RDF	component interoperability, Component-based systems, interaction protocols, system validation
28	Michael Schillo, Christian Kray, Klaus Fischer 0001	The eager bidder problem: a fundamental problem of DAI and selected solutions.	AAMAS	2002	DBLP DOI BibTeX RDF
28	Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt	Dynamic Social Knowledge: A Cognitive Multi-Agent System Cooperation Strategy.	ICMAS	1998	DBLP DOI BibTeX RDF
27	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
27	Stefanos Gritzalis, Athanasios N. Yannacopoulos, Costas Lambrinoudakis, Petros Hatzopoulos, Sokratis K. Katsikas	A probabilistic model for optimal insurance contracts against security risks and privacy violation in IT outsourcing environments.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Optimal contract, Privacy protection, IT outsourcing, Insurance
27	Jing Liu, Jifeng He 0001, Zhiming Liu 0001	A strategy for service realization in service-oriented design.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	component, interface, contract, service-oriented design
27	Patrice Chalin	Are Practitioners Writing Contracts?	RODIN Book	2006	DBLP DOI BibTeX RDF	program assertions, empirical study, design by contract, Eiffel
27	Marco Aldinucci, Alessandro Petrocelli, Edoardo Pistoletti, Massimo Torquati, Marco Vanneschi, Luca Veraldi, Corrado Zoccolo	Dynamic Reconfiguration of Grid-Aware Applications in ASSIST.	Euro-Par	2005	DBLP DOI BibTeX RDF	Structured Parallel Programming, QoS contract, grid, Adaptive Applications
27	Dickson K. W. Chiu, Changjie Wang, Ho-fung Leung, Irene Kafeza, Eleanna Kafeza	Supporting the legal identities of contracting agents with an agent authorization platform.	ICEC	2005	DBLP DOI BibTeX RDF	agent certificate, legal identity, intelligent agents, authorization, PKI, e-contract
27	Mizuho Iwaihara, Haiying Jiang, Yahiko Kambayashi	An integrated model of workflows, e-contracts and solution implementation.	SAC	2004	DBLP DOI BibTeX RDF	workflows, business process, e-contract
27	Banjong Huongrat, Twittie Senivongse	Cross-domain service change notification via trader federation.	ISICT	2004	DBLP BibTeX RDF	CORBA notification service, federation contract, service changes
27	Keith Duddy, Michael Lawley, Zoran Milosevic	Elemental and Pegamento: The Final Cut - Applying the MDA Pattern.	EDOC	2004	DBLP DOI BibTeX RDF	Contract Architecture, Patterns, Model Driven Architecture