Search results for "contract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Martin Bichler, Hannes Werthner	A Classification Framework of Multidimensional, Multi-Unit Procurement.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	multidimensional multi-unit procurement negotiations, qualitative attributes, competitive source selection, bidding competition, price dimension, homogeneous goods, procurement situations, complex auction mechanisms, buyer, multi-attribute auction mechanisms, multi-unit negotiation situations, Internet, electronic commerce, electronic commerce, information technology, contract, application domains, scoring rule, multi-attribute auctions, classification framework, procurement auctions
20	M. Tuan Tu, Christian Philip Kunze, Winfried Lamersdorf	A Rule Management Framework for Negotiating Mobile Agents.	EDOC	2000	DBLP DOI BibTeX RDF	rule management framework, negotiating mobile agents, rule-based generic services, market transaction, information phase, contracting phase, settlement phase, organizational aspects, technological aspects, automated negotiation process, contract terms determination, business view, transaction view, services view, infrastructure view, middleware, electronic commerce, distributed programming, electronic market, application framework
20	Luís Teixeira, Teresa Andrade, Vitor Teixeira	Joint control of MPEG VBR video over ATM networks.	ICIP (3)	1997	DBLP DOI BibTeX RDF	MPEG VBR video, joint control, digital encoding, MPEG 2 standard, transmission bandwidth, spatial redundancy, VBR encoded bit streams, dynamic multiplexing algorithms, user terminal equipment, source bit rate, channel bit rate, transmission channel, leaky bucket policing functions, video source quality, traffic contract, video coding, ATM networks, video sequences, variable bit rate, compression algorithms, picture quality, rate distortion model, video applications, temporal redundancy, bit rate control
20	Eberhard von Faber, R. Hammelrath, F.-P. Heider	The Secure Distribution of Digital Contents.	ACSAC	1997	DBLP DOI BibTeX RDF	secure distribution, encrypted digital contents, freely accessible distribution media, key management system, payment authorisation, casual customers, nonregistered users, software setup, contract conclusion, registration processes, content re-selling, business-to-business environment, cryptography, electronic commerce, workflow management, decryption, payment systems
20	Nen-Fu Huang, Chi-An Su, Chieh-Wen Cheng, Chuan-Pwu Wang, Jer-Han Fang, Yi-Jang Wu	The Design and Implementation of a Multicast Real-Time Multimedia Protocol.	LCN	1996	DBLP DOI BibTeX RDF	multicast real-time multimedia protocol, performance contract, multicast function, interconnected ATM switches, QoS guaranteed protocol, quality of service, delay, admission control, transport protocols, group communications, communication networks, bandwidth, multimedia communications, multimedia applications, packet scheduling, routers, high-speed network, resource reservation, data transmission, telecommunication channels, FDDI networks, delay jitter, jitter control
20	Tom Tedrick	Fair Exchange of Secrets.	CRYPTO	1984	DBLP DOI BibTeX RDF	Exchange of Secret Keys, Exchange of Secrets, Fractions of a Bit, Cryptographic Protocols, Oblivious Transfer, Contract Signing
17	Elio Damaggio, Alin Deutsch, Dayou Zhou	Querying contract databases based on temporal behavior.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
17	Rakesh Kumar	Computing with stochastic processors: revisiting the correctness contract between software and hardware.	ISLPED	2010	DBLP DOI BibTeX RDF	stochastic processor, reliability, error resilience, error tolerance
17	Stephen Fenech, Gordon J. Pace, Gerardo Schneider	CLAN: A Tool for Contract Analysis and Conflict Discovery.	ATVA	2009	DBLP DOI BibTeX RDF
17	Chen Wang 0008, Shiping Chen 0001, John Zic	A Contract-Based Accountability Service Model.	ICWS	2009	DBLP DOI BibTeX RDF
17	Panupong Sornkhom, Yongyuth Permpoontanalarp	Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case.	IPDPS	2009	DBLP DOI BibTeX RDF
17	Georgiana Macariu, Vladimir Cretu	Model-Based Analysis of Contract-Based Real-Time Scheduling.	SEUS	2009	DBLP DOI BibTeX RDF
17	Michal Sojka, Zdenek Hanzálek	Modular architecture for real-time contract-based framework.	SIES	2009	DBLP DOI BibTeX RDF
17	Mario Bravetti, Gianluigi Zavattaro	Contract-Based Discovery and Composition of Web Services.	SFM	2009	DBLP DOI BibTeX RDF
17	Zhenyu Wang, Jianhua Huang, Yu Wang, Xiangdong Li, Xuetao Sun, Ruimin Wang	A Multi-party Contract Signing Protocol and Its Implementation via Trusted Computing.	CSE (2)	2009	DBLP DOI BibTeX RDF
17	Mihhail Aizatulin, Henning Schnoor, Thomas Wilke	Computationally Sound Analysis of a Probabilistic Contract Signing Protocol.	ESORICS	2009	DBLP DOI BibTeX RDF
17	Hakim Belhaouari, Frédéric Peschanski	Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach.	HASE	2008	DBLP DOI BibTeX RDF
17	Michel Bidoit, Rolf Hennicker	An Algebraic Semantics for Contract-Based Software Components.	AMAST	2008	DBLP DOI BibTeX RDF
17	Alexander M. Hoole, Issa Traoré	Contract-Based Security Monitors for Service Oriented Software Architecture.	APSCC	2008	DBLP DOI BibTeX RDF
17	Alessio Lomuscio, Hongyang Qu 0001, Monika Solanki	Towards Verifying Contract Regulated Service Composition.	ICWS	2008	DBLP DOI BibTeX RDF
17	Naomi Fujimura, Itsuo Omagari, Masatsugu Ueda, Keiichi Irie	Experience with software blanket contract in Kyushu University.	SIGUCCS	2008	DBLP DOI BibTeX RDF	anti-virus software, campus agreement, software license, CSR
17	John K. Debenham, Elaine Lawrence	Automating Contract Negotiation.	ITNG	2008	DBLP DOI BibTeX RDF	data mining, Intelligent agents, negotiation, argumentation
17	Werner Damm	Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.	FMICS	2008	DBLP DOI BibTeX RDF
17	Surya Nepal, John Zic, Shiping Chen 0001	A Contract Language for Service-Oriented Dynamic Collaborations.	CollaborateCom	2008	DBLP DOI BibTeX RDF
17	Anna Cinzia Squicciarini, Federica Paci	Monitoring Contract Enforcement within Virtual Organizations.	CollaborateCom	2008	DBLP DOI BibTeX RDF	Collaboration, Access Control, Monitoring, Virtual Organizations
17	Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda	Contract-Based Approach to Analyze Software Components.	ICECCS	2008	DBLP DOI BibTeX RDF
17	Igor Minakov, George Rzevski, Petr Skobelev, Simon Volman	Creating Contract Templates for Car Insurance Using Multi-agent Based Text Understanding and Clustering.	HoloMAS	2007	DBLP DOI BibTeX RDF	Template building, problem domain ontology, multi-agent text understanding, semantic network comparison, data mining, clustering, classification, text mining
17	Charles R. Williams	What happens at the end of the outsourcing contract?	SIGUCCS	2007	DBLP DOI BibTeX RDF	in-sourcing, right sourcing, outsourcing
17	Guilan Dai, Xiaoying Bai, Yongbo Wang, Fengjun Dai	Contract-Based Testing for Web Services.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
17	Emel Filiz	Incorporating unawareness into contract theory.	TARK	2007	DBLP DOI BibTeX RDF
17	Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer 0001, Arno Fiva	Contract driven development = test driven development - writing test cases.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	unit testing
17	Mario Bravetti, Gianluigi Zavattaro	Contract Based Multi-party Service Composition.	FSEN	2007	DBLP DOI BibTeX RDF
17	Johan Fredriksson, Thomas Nolte, Mikael Nolin, Heinz Schmidt	Contract-Based ReusableWorst-Case Execution Time Estimate.	RTCSA	2007	DBLP DOI BibTeX RDF
17	Cornelia Gellings	Outsourcing Relationships: The Contract as IT Governance Tool.	HICSS	2007	DBLP DOI BibTeX RDF
17	Jahyun Goo, Kichan Nam	Contract as a Source of Trust--Commitment in Successful IT Outsourcing Relationship: An Empirical Study.	HICSS	2007	DBLP DOI BibTeX RDF
17	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
17	Vikram Iyengar, Kenneth Pichamuthu, Andrew Ferko, Frank Woytowich, David E. Lackey, Gary Grise, Mark Taylor 0001, Mike Degregorio, Steven F. Oakland	An Integrated Framework for At-Speed and ATE-Driven Delay Test of Contract-Manufactured ASICs.	VTS	2007	DBLP DOI BibTeX RDF
17	Jens Dietrich 0001, John G. Hosking, Jonathan Giles	A Formal Contract Language for Plugin-based Software Engineering.	ICECCS	2007	DBLP DOI BibTeX RDF
17	Boris Goldengorin, Gerold Jäger, Paul Molitor	Tolerance Based Contract-or-Patch Heuristic for the Asymmetric TSP.	CAAN	2006	DBLP DOI BibTeX RDF	Construction Heuristics, Traveling Salesman Problem, Tolerances
17	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Achieving Fairness and Timeliness in a Previous Electronic Contract Signing Protocol.	ARES	2006	DBLP DOI BibTeX RDF
17	Krzysztof Mossakowski, Jacek Mandziuk	Neural Networks and the Estimation of Hands' Strength in Contract Bridge.	ICAISC	2006	DBLP DOI BibTeX RDF
17	Umesh A. Deshpande 0001, Arobinda Gupta, Anupam Basu	Performance enhancement of a contract net protocol based system through instance-based learning.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
17	Pasquale Caruso, Giuliano Laccetti, Marco Lapegna	A Performance Contract System in a Grid Enabling, Component Based Programming Environment.	EGC	2005	DBLP DOI BibTeX RDF
17	Harumi A. Kuno, Kei Yuasa, Kannan Govindarajan, Kevin Smathers, Bernard Burg, Paul Carau, Kevin Wilkinson	Governing the Contract Lifecycle: A Framework for Sequential Configuration of Loosely-Coupled Systems.	DNIS	2005	DBLP DOI BibTeX RDF
17	Marcello Bruno, Gerardo Canfora, Massimiliano Di Penta, Gianpiero Esposito, Valentina Mazza	Using Test Cases as Contract to Ensure Service Compliance Across Releases.	ICSOC	2005	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani	Compositional Analysis of Contract Signing Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
17	Egon Valentini, Gerhard Fliess, Edmund Haselwanter	A Framework for Efficient Contract-Based Testing of Software Components.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
17	Wei Dong 0006, Ji Wang 0001	Contract-Based Formal Specification of Safety Critical Systems.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
17	Claudio Cubillos, Claudio Demartini	An On-Demand Passenger Transportation Architecture Based on a Mediated Contract-Net.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
17	Nikola Milanovic	Contract-Based Web Service Composition Framework with Correctness Guarantees.	ISAS	2005	DBLP DOI BibTeX RDF
17	Lubica Staneková, Martin Stanek	Fast Contract Signing with Batch Oblivious Transfer.	Communications and Multimedia Security	2005	DBLP DOI BibTeX RDF
17	Detlef Kähler, Ralf Küsters, Thomas Wilke	Deciding Properties of Contract-Signing Protocols.	STACS	2005	DBLP DOI BibTeX RDF
17	Wunan Wan, Xiaojing Wang, Yang Liu	Contract Net Protocol Using Fuzzy Case Based Reasoning.	FSKD (2)	2005	DBLP DOI BibTeX RDF
17	Detlef Kähler, Ralf Küsters	Constraint Solving for Contract-Signing Protocols.	CONCUR	2005	DBLP DOI BibTeX RDF
17	Zhan En Chan, Richard F. Paige	Designing a Domain-Specific Contract Language: A Metamodelling Approach.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
17	Orlando Loques, Alexandre Sztajnberg	Customizing Component-Based Architectures by Contract.	Component Deployment	2004	DBLP DOI BibTeX RDF
17	Rohit Chadha, Steve Kremer, Andre Scedrov	Formal Analysis of Multi-Party Contract Signing.	CSFW	2004	DBLP DOI BibTeX RDF
17	Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau	Extra-Functional Contract Support in Components.	CBSE	2004	DBLP DOI BibTeX RDF
17	Matteo Gaeta, Giuseppe Laria, Pierluigi Ritrovato, N. Romano, Bassem Serhan, Stefan Wesner, Theodosis Dimitrakos, Damian Mac Randal	Trust, Security, and Contract Management Challenges for Grid-Based Application Service Provision.	iTrust	2004	DBLP DOI BibTeX RDF
17	Antonio Coronato, Antonio d'Acierno, Diego D'Ambrosio, Giuseppe De Pietro	Supporting Tools for Designing-By-Contract in Component-Based Applications.	Metainformatics	2004	DBLP DOI BibTeX RDF
17	Jianxue Wang, Xifan Wang, Tao Du 0003	Simulation on the Interruptible Load Contract.	CIS	2004	DBLP DOI BibTeX RDF
17	Rino Falcone, Giovanni Pezzulo, Cristiano Castelfranchi, Gianguglielmo Calvi	Why a Cognitive Trustier Performs Better: Simulating Trust-Based Contract Nets.	AAMAS	2004	DBLP DOI BibTeX RDF
17	Rino Falcone, Giovanni Pezzulo, Cristiano Castelfranchi, Gianguglielmo Calvi	Contract Nets for Evaluating Agent Trustworthiness.	Trusting Agents for Trusting Electronic Societies	2004	DBLP DOI BibTeX RDF
17	Yishai A. Feldman	Extreme Design by Contract.	XP	2003	DBLP DOI BibTeX RDF
17	Axel Jantsch	NoCs: A new Contract between Hardware and Software.	DSD	2003	DBLP DOI BibTeX RDF
17	Nicolas Le Sommer	A Contract-Based Approach of Resource Management in Information Systems.	OOIS	2003	DBLP DOI BibTeX RDF
17	Sea Ling, Iman Poernomo, Heinz W. Schmidt	Describing Web Service Architectures through Design-by-Contract.	ISCIS	2003	DBLP DOI BibTeX RDF
17	Donald F. Ross	Teaching Contract Programming Concepts to Future Software Engineers.	ICSE	2003	DBLP DOI BibTeX RDF
17	Umesh Deshpande, Arobinda Gupta, Anupam Basu	Performance Improvement of the Contract Net Protocol Using Instance Based Learning.	IWDC	2003	DBLP DOI BibTeX RDF
17	James E. Hanson, Zoran Milosevic	Conversation-oriented Protocols for Contract Negotiations.	EDOC	2003	DBLP DOI BibTeX RDF
17	Steve Kremer, Jean-François Raskin	Game Analysis of Abuse-free Contract Signing.	CSFW	2002	DBLP DOI BibTeX RDF
17	Zoltan Juhasz, Prasenjit Paul	Scalability Analysis of the Contract Net Protocol.	CCGRID	2002	DBLP DOI BibTeX RDF
17	Ehud Lamm	Adding Design by Contract to the Ada Language.	Ada-Europe	2002	DBLP DOI BibTeX RDF
17	Torben Weis, Christian Becker 0001, Kurt Geihs, Noël Plouzeau	A UML Meta-model for Contract Aware Components.	UML	2001	DBLP DOI BibTeX RDF
17	Birgit Baum-Waidner	Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds.	ICALP	2001	DBLP DOI BibTeX RDF
17	Man-Chi Pong	EC-SignGate: Electronic Contract Signing Gateway.	COMPSAC	2001	DBLP DOI BibTeX RDF	web-based e-business, digital signature, public key infrastructure (PKI)
17	Christopher L. Barrett, Doug Cook, Gregory Hicks, Vance Faber, Achla Marathe, Madhav V. Marathe, Aravind Srinivasan, Yoram J. Sussmann, Heidi Thornquist	Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry.	WAE	2001	DBLP DOI BibTeX RDF
17	Roberto A. Flores, Robert C. Kremer	Formal Conversations for the Contract Net Protocol.	Multi-Agent-Systems and Applications	2001	DBLP DOI BibTeX RDF
17	Walid Al-Ahmad	On the Interaction of Programming by Contract and Liskov Substitution Principle.	AICCSA	2001	DBLP DOI BibTeX RDF
17	Birgit Baum-Waidner, Michael Waidner	Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing.	ICALP	2000	DBLP DOI BibTeX RDF
17	Márcia Ito, Jaime Simão Sichman	Dependence Based Coalitions and Contract Net: A Comparative Analysis.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	organization and social structure, coalition formation and organisation self-design
17	Sha Wong	Software Acquisition Management Experience Learnt in a Multi Discipline and Multi Contract Project Environment.	APAQS	2000	DBLP DOI BibTeX RDF
17	Carlos Serrão, José Guimarães	Protecting Intellectual Proprietary Rights through Secure Interactive Contract Negotiation.	ECMAST	1999	DBLP DOI BibTeX RDF
17	Richard Mitchell	Analysis by Contract: UML with Attitude!	TOOLS (29)	1999	DBLP DOI BibTeX RDF
17	Bertrand Meyer 0001	Managing By Contract.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
17	Richard Mitchell	Analysis by Contract or UML with Attitude.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
17	Reinhold Plösch	Design by Contract for Python.	APSEC	1997	DBLP DOI BibTeX RDF
14	Eric Kerfoot, Steve McKeever	Checking concurrent contracts with aspects.	SAC	2010	DBLP DOI BibTeX RDF	Java, concurrency, AOP, active objects, runtime assertion checking
14	Ji Gao, HeXing Lü, Hang Guo, Fan Zhang, Yu Cheng, ChaoYang Fu, CunHao Wang	Trusted autonomic service cooperation model and application development framework.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	service cooperation, norm-governed, policy-driven, trusted, virtual organization, autonomic
14	Gary Grider, James Nunez, John Bent, Steve Poole 0001, Robert B. Ross, Evan Felix	Coordinating government funding of file system and I/O research through the high end computing university research activity.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
14	Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies	Intra-module Inference.	CAV	2009	DBLP DOI BibTeX RDF
14	Constantinos Kotsokalis, Ramin Yahyapour, Miguel Angel Rojas González	Modeling Service Level Agreements with Binary Decision Diagrams.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
14	Sidney Rosario, Albert Benveniste, Claude Jard	Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations.	ICWS	2009	DBLP DOI BibTeX RDF
14	Beth M. Rugg	Getting iTunes U at Ithaca College up and running!	SIGUCCS	2009	DBLP DOI BibTeX RDF	distribution mechanisms, iTunes U, podcasting, enterprise systems
14	Michael Luck	Flexible behaviour regulation in agent based systems.	ICAC	2009	DBLP DOI BibTeX RDF	behaviour regulation, multiagent systems, norms, organisations
14	Josef Spillner, Matthias Winkler, Sandro Reichert, Jorge Cardoso 0001, Alexander Schill	Distributed Contracting and Monitoring in the Internet of Services.	DAIS	2009	DBLP DOI BibTeX RDF
14	Jia Lv, Ying Jing, Minghui Wu 0001, Canghong Jin	Crosscutting invariant and an efficient checking algorithm using program slicing.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety
14	Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard	Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.	IEEE Trans. Serv. Comput.	2008	DBLP DOI BibTeX RDF
14	Hélia Pouyllau, Stefan Haar	Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks.	Ann. des Télécommunications	2008	DBLP DOI BibTeX RDF	Inter-AS, QoS pipes, Busacker-Gowen algorithm, Distributed algorithms, Negotiation, SLA, Network flow, End-to-end QoS
14	Basil Becker, Holger Giese	On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles.	ISORC	2008	DBLP DOI BibTeX RDF	real-time coordination, verification, invariant, graph transformations, service-oriented, autonomous vehicles, structural adaptation