Search results for "contract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini	Model-Based Generation of Testbeds for Web Services.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
14	Rui Guo, Bin B. Zhu, Min Feng 0002, Aimin Pan, Bosheng Zhou	Compoweb: a component-oriented web architecture.	WWW	2008	DBLP DOI BibTeX RDF	delayed-binding, security, web, component, interface, reuse, mashup, protection, browser, encapsulation, isolation, same-origin policy
14	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
14	Arsenii Rudich, Ádám Darvas, Peter Müller 0001	Checking Well-Formedness of Pure-Method Specifications.	FM	2008	DBLP DOI BibTeX RDF
14	Ming-Hua Hsieh	Valuation of variable annuity contracts with cliquet options in Asia markets.	WSC	2008	DBLP DOI BibTeX RDF
14	Wladimir Araujo, Lionel C. Briand, Yvan Labiche	Concurrent Contracts for Java in JML.	ISSRE	2008	DBLP DOI BibTeX RDF
14	Shanshan Hao, Qingshan Li, Meisheng Wang, Chenguang Zhao, Hua Xing	A Systems Integration Oriented Multi-agent Hierarchy Cooperation Model.	CSSE (2)	2008	DBLP DOI BibTeX RDF
14	Yong He 0004, Lindu Zhao, Ju He	Supply Chain Coordination Using Returns Policy with Sales Rebate and Penalty under Effort and Price Dependent Demand.	HICSS	2008	DBLP DOI BibTeX RDF
14	Mohammad Zubair, Ravi Mukkamala	High Performance Implementation of Binomial Option Pricing.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	Financial Computing, Parallel Computing, High Performance Computing, Option Pricing
14	Stefania Costantini, Arianna Tocchio, Panagiota Tsintza	Contracts Violation: Justification via Argumentation.	CLIMA	2008	DBLP DOI BibTeX RDF
14	Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001	Proof-Transforming Compilation of Eiffel Programs.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
14	Nir Oren, Sofia Panagiotidi, Javier Vázquez-Salceda, Sanjay Modgil, Michael Luck, Simon Miles	Towards a Formalisation of Electronic Contracting Environments.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF
14	Tony Chau, Vinod Muthusamy, Hans-Arno Jacobsen, Elena Litani, Allen Chan, Phil Coulthard	Automating SLA modeling.	CASCON	2008	DBLP DOI BibTeX RDF
14	Surya Nepal, John Zic	A Conflict Neighbouring Negotiation Algorithm for Resource Services in Dynamic Collaborations.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Negotiation Algorithm, Dynamic Collaborations
14	Shlomi Dolev, Reuven Yagel	Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract).	SSS	2007	DBLP DOI BibTeX RDF	host systems, Byzantine programs, security, self-stabilization, trust and reputation
14	Dave Arnold, Jean-Pierre Corriveau, Vojislav D. Radonjic	Open framework for conformance testing via scenarios.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	metrics, scenarios, contracts, conformance testing, non-functional requirements
14	Paulo Leitão, João Mendes	Agent-Based Inter-Organizational Workflow Management System.	HoloMAS	2007	DBLP DOI BibTeX RDF
14	Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi	Relationally-parametric polymorphic contracts.	DLS	2007	DBLP DOI BibTeX RDF	contracts, polymorphism, parametricity
14	Pamela N. Gray, Xenogene Gray, John Zeleznikow	Negotiating logic: for richer or poorer.	ICAIL	2007	DBLP DOI BibTeX RDF	dispute avoidance, legal expert systems, legal practitioner ontologies, negotiation planning, negotiation support systems
14	John K. Debenham	Building Relationships and Negotiating Agreements in a Network of Agents.	KSEM	2007	DBLP DOI BibTeX RDF
14	Sandra K. Newton, J. Ellis Blanton, Stephen C. Wingreen	Exploring the characteristics of an IT professional's employment arrangement.	CPR	2007	DBLP DOI BibTeX RDF	employment arrangements, IT professionals
14	Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini	A Timed Extension of WSCoL.	ICWS	2007	DBLP DOI BibTeX RDF
14	Ethan Hadar, Mark Perreira	Web Services Variation Façade - Domain Specific Reference Architecture for Increasing Integration Usability.	ICWS	2007	DBLP DOI BibTeX RDF	Product Line Variations, Web Services Integration Design, Architecture Centric Evolution, Usability
14	Yuxuan Meng, Bo Meng	A Digital Signature Scheme in Web-based Negotiation Support System.	I3E (1)	2007	DBLP DOI BibTeX RDF
14	Neelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu	Testing Patterns.	SEW	2007	DBLP DOI BibTeX RDF
14	Hongjiang Gao, Zheng Qin, Li-Ping Shao, Xingchen Heng	Specifying and Verifying Cases Retrieval System Combining Event B and Spin.	ICSC	2007	DBLP DOI BibTeX RDF
14	Huijia Xie	Protecting fair use from digital rights management in china.	Digital Rights Management Workshop	2007	DBLP DOI BibTeX RDF	digital rights management, China, fair use
14	Cristian Prisacariu, Gerardo Schneider	A Formal Language for Electronic Contracts.	FMOODS	2007	DBLP DOI BibTeX RDF
14	Robert J. Kauffman, Ryan Sougstad	Value-at-Risk in IT Services Contracts.	HICSS	2007	DBLP DOI BibTeX RDF
14	Cosimo Laneve, Luca Padovani	The Must Preorder Revisited.	CONCUR	2007	DBLP DOI BibTeX RDF
14	Lai Xu 0001, Paul de Vrieze	Fundaments Of Virtual Organization E-Contracting.	Virtual Enterprises and Collaborative Networks	2007	DBLP DOI BibTeX RDF
14	Jin Li 0002, Kwangjo Kim, Fangguo Zhang, Xiaofeng Chen 0001	Aggregate Proxy Signature and Verifiably Encrypted Proxy Signature.	ProvSec	2007	DBLP DOI BibTeX RDF	Bilinear pairings, Proxy signature, Random oracle, Aggregate signature
14	Jean-Pierre Corriveau	Testable Requirements for Offshore Outsourcing.	SEAFOOD	2007	DBLP DOI BibTeX RDF
14	Martin Waldburger, Burkhard Stiller	Legal Compliance in Commercial Service Provisioning Across Administrative Domains.	EUNICE	2007	DBLP DOI BibTeX RDF
14	Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball	Feedback-Directed Random Test Generation.	ICSE	2007	DBLP DOI BibTeX RDF
14	Ilja Ponka, Nicholas R. Jennings	Changing Circumstances and Leveled Commitment: A Compensatory Approach to Contracting.	CEC/EEE	2007	DBLP DOI BibTeX RDF
14	Hung Ledang, Dang Van Hung	Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development.	TASE	2007	DBLP DOI BibTeX RDF
14	Ting Wang, Jochem Vonk, Paul W. P. J. Grefen	TxQoS: A Contractual Approach for Transaction Management.	EDOC	2007	DBLP DOI BibTeX RDF
14	R. P. Sundarraj 0001	A model for standardizing human decisions concerning service-contracts management.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Contracts and warranties, World wide web, Heuristic, Electronic commerce, Services, Analytical hierarchy process
14	Guido Boella, Leendert W. N. van der Torre	A game theoretic approach to contracts in multiagent systems.	IEEE Trans. Syst. Man Cybern. Part C	2006	DBLP DOI BibTeX RDF
14	Yan-Ling Wang, De-Li Yang	Risk Management in International Mutual Insurance.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
14	Ioan Alfred Letia, Adrian Groza	Agreeing on Defeasible Commitments.	DALT	2006	DBLP DOI BibTeX RDF
14	Hongbin Zhou, Simon N. Foley	A Framework for Establishing Decentralized Secure Coalitions.	CSFW	2006	DBLP DOI BibTeX RDF
14	Philippe Meunier, Robert Bruce Findler, Matthias Felleisen	Modular set-based analysis from contracts.	POPL	2006	DBLP DOI BibTeX RDF	modular analysis, runtime contracts, static debugging, set-based analysis
14	Tomohiro Yoneda, Chris J. Myers	Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis.	ATVA	2006	DBLP DOI BibTeX RDF
14	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
14	Javier Bustos-Jiménez, Denis Caromel, Mario Leyton, José M. Piquer	Coupling Contracts for Deployment on Alien Grids.	Euro-Par Workshops	2006	DBLP DOI BibTeX RDF
14	Xiaobing Liu, Hongguang Bo, Yue Ma, Qiunan Meng	Research on Hybrid Distributed Manufacturing Execution System in Multi-location Enterprises Environment.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
14	Yonglei Yao, Fangchun Yang, Sen Su	Evaluating Proposals in Web Services Negotiation.	ISCIS	2006	DBLP DOI BibTeX RDF
14	Bei Shui Liao, Huaxin Huang, Ji Gao	An Extended BDI Agent with Policies and Contracts.	PRIMA	2006	DBLP DOI BibTeX RDF
14	Charles A. Milligan	The Data Warehouse in a Distributed Utility Environment.	HICSS	2006	DBLP DOI BibTeX RDF
14	Andrzej Skowron, Sheela Ramanna, James F. Peters	Conflict Analysis and Information Systems: A Rough Set Approach.	RSKT	2006	DBLP DOI BibTeX RDF	rough sets, requirements engineering, negotiation, conflict resolution, Conflict, conflict graph
14	Marc Lohmann, Gregor Engels, Stefan Sauer 0001	Model-driven Monitoring: Generating Assertions from Visual Contracts.	ASE	2006	DBLP DOI BibTeX RDF
14	Santiago Zapata Hernandez, Antonio Fernandez Gómez-Skarmeta	Virtual identities in authentication and authorization scenarios.	PST	2006	DBLP DOI BibTeX RDF	Daidalos, ID-token, PANA, RegID, VID, authentication, authorization, identity, diameter, SAML
14	Rajiv Ranjan 0001, Aaron Harwood, Rajkumar Buyya	SLA-Based Coordinated Superscheduling Scheme for Computational Grids.	CLUSTER	2006	DBLP DOI BibTeX RDF
14	Sakyibea Darko-Ampem, Maria Katsoufi, Pablo Giambiagi	Secure Negotiation in Virtual Organizations.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
14	Bertrand Meyer 0001	The Context of Object Computation (extended abstract).	SEFM	2006	DBLP DOI BibTeX RDF
14	Yishai A. Feldman, Leon Gendler	Discern: Towards the Automatic Discovery of Software Contracts.	SEFM	2006	DBLP DOI BibTeX RDF
14	Danny Weyns, Nelis Boucké, Tom Holvoet	Gradient field-based task assignment in an AGV transportation system.	AAMAS	2006	DBLP DOI BibTeX RDF
14	Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani	A Formal Account of Contracts for Web Services.	WS-FM	2006	DBLP DOI BibTeX RDF
14	Michael S. Parkin, Dean Kuo, John M. Brooke	A Framework & Negotiation Protocol for Service Contracts.	IEEE SCC	2006	DBLP DOI BibTeX RDF
14	Xiang Yu, Ian Li-Jin Thng, Yuming Jiang 0001, Chunming Qiao	Queueing processes in GPS and PGPS with LRD traffic inputs.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	LRD isolation, Weibull bounded, Weibull bounded burstiness, queueing process, QoS, long range dependent, generalized processor sharing
14	Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen	Requirements traceability to support evolution of access control.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	access control, evolution, requirements traceability
14	Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche	Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
14	Hendrik J. G. Oberholzer, Martin S. Olivier	Privacy Contracts as an Extension of Privacy Policies.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
14	John K. Debenham	Foundations for Automated Trading - Its the Information That Matters.	DEXA	2005	DBLP DOI BibTeX RDF
14	Paul Arkley, Steve Riddle	Overcoming the Traceability Benefit Problem.	RE	2005	DBLP DOI BibTeX RDF
14	Bo Yang 0016, Meiyun Zuo, Xiantao Yao	A case study of disaster backup outsourcing of SDB and Hi Sun.	ICEC	2005	DBLP DOI BibTeX RDF	trust, outsourcing, partnership
14	Ioan Alfred Letia, Adrian Groza	Automating the Dispute Resolution in a Task Dependency Network.	IAT	2005	DBLP DOI BibTeX RDF
14	Vladimir Tosic, Bernard Pagurek	On Comprehensive Contractual Descriptions of Web Services.	EEE	2005	DBLP DOI BibTeX RDF
14	Marc Lohmann, Stefan Sauer 0001, Gregor Engels	Executable Visual Contracts.	VL/HCC	2005	DBLP DOI BibTeX RDF
14	Irene Kafeza, Eleanna Kafeza, Dickson K. W. Chiu	Legal Issues in Agents for Electronic Contracting.	HICSS	2005	DBLP DOI BibTeX RDF
14	Ganeshkumar Ganapathy, Barbara Goodson, Robert K. Jansen, Vijaya Ramachandran, Tandy J. Warnow	Pattern Identification in Biogeography.	WABI	2005	DBLP DOI BibTeX RDF
14	David A. Miller, Sameer Tilak, Tony Fountain	"Token" equilibria in sensor networks with multiple sponsors.	CollaborateCom	2005	DBLP DOI BibTeX RDF
14	Nele Smeets, Eric Steegmans	A Methodology for Writing Class Contracts.	SOFSEM	2005	DBLP DOI BibTeX RDF
14	Werner Streitberger	Framework for the Negotiation of Electronic Contracts in E-Business on Demand.	CEC	2005	DBLP DOI BibTeX RDF
14	Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen	Uniform Application-level Access Control Enforcement of Organizationwide Policies.	ACSAC	2005	DBLP DOI BibTeX RDF
14	Thomas Wilson, Savi Maharaj, Robert G. Clark	Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.	SEFM	2005	DBLP DOI BibTeX RDF
14	Stefan Schmidt, Robert Steele, Tharam S. Dillon, Elizabeth Chang 0001	Applying a Fuzzy Trust Model to E-Commerce Systems.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
14	Jae-Yoon Jung 0001, Wonchang Hur, Suk-Ho Kang, Hoontae Kim	Business Process Choreography for B2B Collaboration.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF	Business process choreography, Process interoperability patterns, B2B collaboration
14	Guido Rotondi	Assessment methodologies for public contractors.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF
14	Manfred Broy	A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
14	Weirong Wang, Aloysius K. Mok, Gerhard Fohler	Generalized Pre-Scheduler.	ECRTS	2004	DBLP DOI BibTeX RDF
14	Fan Ye 0005, Tim Kelly	COTS Product Selection for Safety-Critical Systems.	ICCBSS	2004	DBLP DOI BibTeX RDF
14	Toshiya Kaihara, Susumu Fujii	Multi-Agent Based Robust Scheduling for Agile Manufacturing.	BASYS	2004	DBLP DOI BibTeX RDF
14	Florence Maraninchi, Lionel Morel	Logical-Time Contracts for Reactive Embedded Components.	EUROMICRO	2004	DBLP DOI BibTeX RDF
14	Wonseok Oh 0001, Michael Gallivan	An Empirical Assessment of Transaction Risks of IT Outsourcing Arrangements: An Event Study.	HICSS	2004	DBLP DOI BibTeX RDF
14	Eric K. Clemons, Lorin M. Hitt	Poaching and the Misappropriation of Information: Transaction Risks of Information Exchange.	HICSS	2004	DBLP DOI BibTeX RDF
14	Babak Sadighi Firozabadi, Marek J. Sergot, Anna Cinzia Squicciarini, Elisa Bertino	A Framework for Contractual Resource Sharing in Coalitions.	POLICY	2004	DBLP DOI BibTeX RDF
14	Mark A. Brown	Obligation, Contracts, and Negotiation.	DEON	2004	DBLP DOI BibTeX RDF
14	Henrique Lopes Cardoso, Eugénio C. Oliveira	Virtual Enterprise Normative Framework Within Electronic Institutions.	ESAW	2004	DBLP DOI BibTeX RDF
14	Franck Barbier, Nicolas Belloir, Jean-Michel Bruel	Incorporation of Test Functionality into Software Components.	ICCBSS	2003	DBLP DOI BibTeX RDF
14	Rui Dai, Dale O. Stahl, Andrew B. Whinston	The Economics of Smart Routing and Quality of Service.	Networked Group Communication	2003	DBLP DOI BibTeX RDF
14	Marina Krol, D. Nelkin-Warantz, A. Auville	Database-Controlled Document Management System for the Mt. Sinai Independent Practice Association.	CBMS	2003	DBLP DOI BibTeX RDF
14	Heiko Ludwig, Markus Stolze	Simple Obligation and Right Model (SORM) - for the Runtime Management of Electronic Service Contracts.	WES	2003	DBLP DOI BibTeX RDF
14	Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau	An MDA Approach to Tame Component Based Software Development.	FMCO	2003	DBLP DOI BibTeX RDF
14	Onur Demirörs, Çigdem Gencel, Ayça Tarhan	Utilizing Business Process Models for Requirements Elicitation.	EUROMICRO	2003	DBLP DOI BibTeX RDF
14	Susanne Guth, Gustaf Neumann, Mark Strembeck	Experiences with the enforcement of access rights extracted from ODRL-based digital contracts.	Digital Rights Management Workshop	2003	DBLP DOI BibTeX RDF
14	Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu	On the e-Negotiation of Unmatched Logrolling Views.	HICSS	2003	DBLP DOI BibTeX RDF
14	Cyril Carrez, Alessandro Fantechi, Elie Najm	Behavioural Contracts for a Sound Assembly of Components.	FORTE	2003	DBLP DOI BibTeX RDF