Search results for "Contract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
156	Thomas Kwok, Thao Nguyen	An Automatic Method to Extract Data from an Electronic Contract Composed of a Number of Documents in PDF Format.	CEC/EEE	2006	DBLP DOI BibTeX RDF
112	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
107	Juan A. Garay, Markus Jakobsson, Philip D. MacKenzie	Abuse-Free Optimistic Contract Signing.	CRYPTO	1999	DBLP DOI BibTeX RDF
102	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
86	Jose Antonio Onieva, Jianying Zhou 0001, Javier López 0001	Attacking an Asynchronous Multi-party Contract Signing Protocol.	INDOCRYPT	2005	DBLP DOI BibTeX RDF	multi-party contract signing, security protocol analysis, Secure electronic commerce
85	Antonio Ruiz-Martínez, C. Inmaculada Marín-López, Laura Baño-López, Antonio Fernandez Gómez-Skarmeta	A new fair non-repudiation protocol for secure negotiation and contract signing.	PST	2006	DBLP DOI BibTeX RDF	abuse freeness, contract negotiation, contract signing protocol, security, e-commerce, confidentiality, fair-exchange
80	Bin Liu 0011, Jian Chen, Sifeng Liu, Rong Zhang	Supply-Chain Coordination With Combined Contract for a Short-Life-Cycle Product.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
79	Juan A. Garay, Philip D. MacKenzie	Abuse-Free Multi-party Contract Signing.	DISC	1999	DBLP DOI BibTeX RDF	digital signatures, Cryptographic protocols, fair exchange, contract signing
79	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
79	Thomas Kwok, Thao Nguyen, Linh Lam	A Software as a Service with Multi-tenancy Support for an Electronic Contract Management Application.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	contract management, mulit-tenancy, multitenants, software as a service, SaaS, service computing, electronic contract
73	Thomas Kwok, Thao Nguyen, Linh Lam, Trieu C. Chieu	A Web-based and Email Driven Electronic Contract Management System.	ICEBE	2007	DBLP DOI BibTeX RDF
73	Martin Andersson, Tuomas Sandholm	Sequencing of Contract Types for Anytime Task Reallocation.	AMET	1998	DBLP DOI BibTeX RDF	Multiagent systems, Negotiation, Contracting, Task allocation, Performance profiles
72	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
71	Lai Xu 0001	A multi-party contract model.	SIGecom Exch.	2004	DBLP DOI BibTeX RDF	contract violation, detecting contract violation, e-contract
69	Vandana Kabilan, Paul Johannesson, Dickson M. Rugaimukamu	Business Contract Obligation Monitoring through Use of Multi Tier Contract Ontology.	OTM Workshops	2003	DBLP DOI BibTeX RDF
67	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
66	Ying Jin 0002, Zepeng Li, Da Wei, Lei Liu	Automatic Generation and Enforcement of Security Contract for Pervasive Application.	EUC (2)	2008	DBLP DOI BibTeX RDF
66	Trieu C. Chieu, Thao Nguyen, Sridhar Maradugu, Thomas Kwok	An Enterprise Electronic Contract Management System Based on Service-Oriented Architecture.	IEEE SCC	2007	DBLP DOI BibTeX RDF
66	Fu-Shiung Hsieh	Automated Negotiation Based on Contract Net and Petri Net.	EC-Web	2005	DBLP DOI BibTeX RDF
65	Yogesh Singh, Anju Saha	Enhancing Data Flow Testing of Classes through Design by Contract.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	design by contract, object oriented testing, data flow testing
65	Paolo Greci, Fabio Martinelli, Ilaria Matteucci	A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application.	ISoLA	2008	DBLP DOI BibTeX RDF	Contract-policy matching, symbolic transition systems, mobile application, simulation relation
62	Kamalakar Karlapalem, Ajay R. Dani, P. Radha Krishna 0001	A Frame Work for Modeling Electronic Contracts.	ER	2001	DBLP DOI BibTeX RDF
62	Michael Stini, Martin Mauve	Enabling fair offline trading.	IWCMC	2009	DBLP DOI BibTeX RDF	digital ownership, fair exchange of signatures, offline trading, simultaneous contract signing
59	Kishore Varma Indukuri, P. Radha Krishna 0001	Mining e-contract documents to classify clauses.	Bangalore Compute Conf.	2010	DBLP DOI BibTeX RDF	data mining, e-contracts, text analytics
59	Gwyduk Yeom, Wei-Tek Tsai, Xiaoying Bai, Dugki Min	Design of a Contract-Based Web Services QoS Management System.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
59	Krishnamurthy Vidyasankar, P. Radha Krishna 0001, Kamalakar Karlapalem	Study of Dependencies in Executions of E-Contract Activities.	ADBIS	2009	DBLP DOI BibTeX RDF
59	Jianying Zhou 0001, Jose Antonio Onieva, Javier López 0001	A Synchronous Multi-Party Contract Signing Protocol Improving Lower Bound of Steps.	SEC	2006	DBLP DOI BibTeX RDF
59	Yalan Yan, Jinlong Zhang, Mi Yan	Ontology Modeling for Contract: Using OWL to Express Semantic Relations.	EDOC	2006	DBLP DOI BibTeX RDF
59	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
59	Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till	A Three-Layer Framework for Cross-Organizational e-Contract Enactment.	WES	2002	DBLP DOI BibTeX RDF	cross-organizational business process, Web services, UML, workflow management, e-contracts
58	Mei He, Ye Yang, Qing Wang 0001, Mingshu Li 0001	Cost Estimation and Analysis for Government Contract Pricing in China.	ICSP	2007	DBLP DOI BibTeX RDF	Government contract pricing, Cost estimation, Cost analysis
58	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
58	Frank Griffel, M. Tuan Tu, Malte Münke, Michael Merz, Winfried Lamersdorf, Miguel Mira da Silva	Electronic contract negotiation as an application niche for mobile agents.	EDOC	1997	DBLP DOI BibTeX RDF	electronic contract negotiation, application niche, mobile agent paradigm, contract negotiation, middleware market, electronic commerce, distributed applications, contracts, mobile agent system, distributed software systems
55	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
55	Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz	Refactoring with Contracts.	AGILE	2006	DBLP DOI BibTeX RDF
55	Zoran Milosevic, R. Geoff Dromey	On Expressing and Monitoring Behaviour in Contracts.	EDOC	2002	DBLP DOI BibTeX RDF
55	Holger Schmidt 0003	Service Contracts Based on Workflow Modeling.	DSOM	2000	DBLP DOI BibTeX RDF	Workflow, Business Process, Service Level Agreements, Outsourcing, Service Contract
54	Nataliia Bielova, Marco Dalla Torre, Nicola Dragoni, Ida Sri Rejeki Siahaan	Matching Policies with Security Claims of Mobile Applications.	ARES	2008	DBLP DOI BibTeX RDF	security-by-contract, security for mobile code, automata modulo theory, contract-policy matching
54	Aspassia Daskalopulu	Modeling Legal Contracts as Processes.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	legal contract modelling, contract drafting, contract performance monitoring, contractual obligations, processes, contracts
52	Jirí Bíba, Jirí Hodík, Michal Jakob, Michal Pechoucek	Contract Observation in Web Services Environments.	SOCASE	2009	DBLP DOI BibTeX RDF
52	Aybek Mukhamedov, Mark Ryan 0001	Improved Multi-party Contract Signing.	Financial Cryptography	2007	DBLP DOI BibTeX RDF
52	Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Sri Rejeki Siahaan	Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code.	EuroPKI	2007	DBLP DOI BibTeX RDF
52	Thomas Kwok, Thao Nguyen	An Enterprise Electronic Contract Management System using Dual XML and Secure PDF Documents.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
52	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
52	Junchao Xiao, Qing Wang 0001	Contract-Driven Cooperation Development Process for Software Outsourcing.	CIT	2005	DBLP DOI BibTeX RDF
52	Yongjun Jin	Driving off a tiger, but leading a wolf: a review of the Chinese contract law art.11.	ICEC	2005	DBLP DOI BibTeX RDF	data message, writing form, signatures, electronic signatures
52	Thomas Kwok, Thao Nguyen	An Automatic Electronic Contract Document Signing System in a Secure Environment.	CEC	2005	DBLP DOI BibTeX RDF
52	Roger Tagg, Zoran Milosevic, Sachin Kulkarni, Simon Gibson	Supporting Contract Execution through Recommended Workflows.	DEXA	2004	DBLP DOI BibTeX RDF
52		Monitorable Electronic Contract.	CEC	2003	DBLP DOI BibTeX RDF
52	Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne	Contract Representation for Run-time Monitoring and Enforcement.	CEC	2003	DBLP DOI BibTeX RDF
52	Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu	A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation.	ER	2002	DBLP DOI BibTeX RDF
52	Martin Andersson, Tuomas Sandholm	Contract Type Sequencing for Reallocative Negotiation.	ICDCS	2000	DBLP DOI BibTeX RDF
51	Meisheng Wang, Qingshan Li, Chenguang Zhao, Yingqiang Wang	A Contract Net Model Based on Agent Active Perception.	COMPSAC	2008	DBLP DOI BibTeX RDF	Contract Net Model, Agent Active Perception, perception coefficient, the degree of credibility, system integration
51	Mikolaj Zuzek, Marek Talik, Tomasz Swierczynski, Cezary Wisniewski, Bartosz Kryza, Lukasz Dutka, Jacek Kitowski	Formal Model for Contract Negotiation in Knowledge-Based Virtual Organizations.	ICCS (3)	2008	DBLP DOI BibTeX RDF	Contract Negotiation, Ontology, Grid, Virtual Organization
51	Elisa Burato, Matteo Cristani	Contract clause negotiation by game theory.	ICAIL	2007	DBLP DOI BibTeX RDF	contract clauses negotiation, meaning negotiation, multiple agents systems, game theory, knowledge representation, dialogue games, bargaining, legal knowledge representation
51	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
51	Guilin Wang	An abuse-free fair contract signing protocol based on the RSA signature.	WWW	2005	DBLP DOI BibTeX RDF	security, e-commerce, digital signatures, RSA, cryptographic protocols, fair-exchange, contract signing
51	Martin Blom, Eivind J. Nordby, Anna Brunström	An Experimental Evaluation of Programming by Contract.	ECBS	2002	DBLP DOI BibTeX RDF	evaluation, Experiment, contract, precondition, postcondition
49	Hyungna Oh, Timothy Mount	Testing the Effects of Holding Forward Contracts On the Behavior of Suppliers in an Electricity Auction.	HICSS	2005	DBLP DOI BibTeX RDF
49	Zoran Milosevic, Audun Jøsang, Theodosis Dimitrakos, Mary Anne Patton	Discretionary Enforcement of Electronic Contracts.	EDOC	2002	DBLP DOI BibTeX RDF
48	Victoria Ungureanu	Using certified policies to regulate E-commerce transactions.	ACM Trans. Internet Techn.	2005	DBLP DOI BibTeX RDF	Contract terms, Scalability, Enforcement
47	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
45	Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava	Implementing a Rule-Based Contract Compliance Checker.	I3E	2009	DBLP DOI BibTeX RDF
45	Yi-Nung Yang, Shi-Chung Chang	A contract of purchase commitments on shared yields as a risk-sharing mechanism among fabless-foundry partnership.	WSC	2008	DBLP DOI BibTeX RDF
45	Jirí Vokrínek, Jirí Bíba, Jirí Hodík, Jaromír Vybíhal, Michal Pechoucek	Competitive Contract Net Protocol.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
45	Hans-Gerhard Groß, Colin Atkinson 0001, Franck Barbier	Component Integration through Built-in Contract Testing.	Component-Based Software Quality	2003	DBLP DOI BibTeX RDF
45	Yigal Hoffner	Supporting Contract Match-Making.	RIDE	1999	DBLP DOI BibTeX RDF
45	Murat Karaorman, Urs Hölzle, John L. Bruno	jContractor: A Reflective Java Library to Support Design by Contract.	Reflection	1999	DBLP DOI BibTeX RDF
44	Jirí Hodík, Jirí Vokrínek, Michal Jakob	Contract Monitoring in Agent-Based Systems: Case Study.	HoloMAS	2009	DBLP DOI BibTeX RDF	Agent, Monitoring, Observation, Contract, Case Study
44	Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai	Contract-Based Verification for Aspect-Oriented Refactoring.	ICST	2008	DBLP DOI BibTeX RDF	Verification, AOP, Refactoring, Contract
44	Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch	Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.	FORTE	2008	DBLP DOI BibTeX RDF	Verification, extension, Coloured Petri Nets, Contract Net Protocol
44	Chih-Hung Wang, Yan-Sheng Kuo	An efficient contract signing protocol using the aggregate signature scheme to protect signers' privacy and promote reliability.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF	cryptography, elliptic curves, bilinear pairings, fair exchange, contract signing
44	Egon Teiniker, Robert Lechner, Gernot Schmoelzer, Christian Kreiner, Zsolt Kovács, Reinhold Weiss	Towards a Contract Aware CORBA Component Container.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	OCL, Design by Contract, CCM
44	Hank Childs, Eric Brugger, Kathleen S. Bonnell, Jeremy S. Meredith, Mark C. Miller, Brad Whitlock, Nelson Max	A Contract Based System For Large Data Visualization.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	data flow networks, contract-based system, large data set visualization
42	Karine Arnout, Raphael Simon	The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
42	Xiaohong Cui	The Logic of Knowledge-Based Cooperation in the Social Dilemma.	LORI	2009	DBLP DOI BibTeX RDF
42	Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen	Compositional specification of commercial contracts.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF
42	Robert Bruce Findler, Matthias Blume	Contracts as Pairs of Projections.	FLOPS	2006	DBLP DOI BibTeX RDF
42	Hee-Seok Seo	The Legal Nature of Information Transactions - A Perspective of Information License Contracts in Japan.	SAINT Workshops	2004	DBLP DOI BibTeX RDF
42	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
41	John Aycock, Jim Uhl	Choice in the classroom.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	contract grading, due dates, deadlines, assignments
41	Thomas Baar	OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF	OCL, Graph Grammars, Design by Contract, QVT, Behavior Specification
41	David Maley, Ivor T. A. Spence	But Who Will Guard the Guardians?	TOOLS (34)	2000	DBLP DOI BibTeX RDF	VDM++, C++, Genericity, Design by Contract
40	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
38	Phan Minh Dung, Phan Minh Thang	Modular argumentation for modelling legal doctrines in common law of contract.	Artif. Intell. Law	2009	DBLP DOI BibTeX RDF	Legal doctrines, Argumentation in law, Modular argumentation, Argumentation
38	Marco Comerio, Hong Linh Truong 0001, Flavio De Paoli, Schahram Dustdar	Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
38	Luca Padovani	Contract-Based Discovery and Adaptation of Web Services.	SFM	2009	DBLP DOI BibTeX RDF
38	Christoph Gladisch	Could We Have Chosen a Better Loop Invariant or Method Contract?.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
38	Roberto Confalonieri 0001, Sergio Álvarez-Napagao, Sofia Panagiotidi, Javier Vázquez-Salceda, Steven Willmott	A Middleware Architecture for Building Contract-Aware Agent-Based Services.	SOCASE	2008	DBLP DOI BibTeX RDF
38	René Santaolaya Salgado, Liliana Badillo-Sánchez, Olivia Graciela Fragoso Diaz	Process for Contract Extraction.	ICSEA	2008	DBLP DOI BibTeX RDF
38	Hong Feng Lai, J. L. Hong, Wang Han Jeng	Model E-contract Update by Coloured Activity Net.	APSCC	2008	DBLP DOI BibTeX RDF
38	Véronique Cortier, Ralf Küsters, Bogdan Warinschi	A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols.	ESORICS	2007	DBLP DOI BibTeX RDF
38	Judy Tantivongsathaporn, Daniel Stearns	An Experience With Design by Contract.	APSEC	2006	DBLP DOI BibTeX RDF
38	Nir Oren, Alun D. Preece, Timothy J. Norman	A Simple Argumentation Based Contract Enforcement Mechanism.	CIA	2006	DBLP DOI BibTeX RDF
38	Arnaud Simon, Thomas Rischbeck	Service Contract Template.	IEEE SCC	2006	DBLP DOI BibTeX RDF
38	Jelena Zdravkovic, Vandana Kabilan	Enabling Business Process Interoperability Using Contract Workflow Models.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF
38	Thomas Kwok, Thao Nguyen	A Secure Electronic Contract Management and Process System Automated with Predefined Tasks.	EEE	2005	DBLP DOI BibTeX RDF
38	Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang 0023, Bing Xie	Contract-Based Mutation for Testing Components.	ICSM	2005	DBLP DOI BibTeX RDF
38	Guido Governatori, Zoran Milosevic	Dealing with contract violations: formalism and domain specific language.	EDOC	2005	DBLP DOI BibTeX RDF
38	Fu-Shiung Hsieh	Modeling and Analysis of Contract Net Protocol.	ICWE	2004	DBLP DOI BibTeX RDF