Search results for "contracts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Patrice Chalin, Frédéric Rioux	Non-null references by default in the Java modeling language.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	non-null references, reference types, contracts, JML, java modeling language
16	Shibashis Guha, Srinath Srinivasa, Saikat Mukherjee, Ranajoy Malakar	LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime.	IDEAS	2006	DBLP DOI BibTeX RDF	Interaction schema, Coordination, Contracts, Reference monitor, Constraint enforcement
16	Albert Sargent Jr.	Outsourcing relationship literature: an examination and implications for future research.	CPR	2006	DBLP DOI BibTeX RDF	management, contracts, outsourcing, relationships, offshore, literature review
16	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
16	Eric Brechner	Journey of enlightenment: the evolution of development at Microsoft.	ICSE	2005	DBLP DOI BibTeX RDF	security, XML, design, collaboration, reliability, coordination, interfaces, refactoring, quality, contracts, SOAP, test driven development, agile, versioning, WSDL, scrum, NET, Microsoft, lean
16	Steven Willmott	On Distributed Systems and Social Engineering.	IEEE Distributed Syst. Online	2004	DBLP DOI BibTeX RDF	software by contract, agents, multiagent systems, policies, contracts, norms
16	Eric Brechner	Things they would not teach me of in college: what Microsoft developers learn later.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	security, privacy, design, collaboration, reliability, cryptography, accessibility, coordination, requirements, analysis, redundancy, quality, diversity, contracts, coupling, testability, globalization, cohesion, multidisciplinary, FMEA, commercial
16	Martin J. Kollingbaum, Timothy J. Norman	Norm adoption in the NoA agent architecture.	AAMAS	2003	DBLP DOI BibTeX RDF	norms and contracts, agent architecture
16	Knut K. Aase	Representative Agent Pricing of Financial Assets Based on Lévy Processes with Normal Inverse Gaussian Marginals.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	partial equilibrium, normal inverse Gaussian distribution, inverse Gaussian distribution, CCAPM, futures contracts, options
16	Nalini Dayanand, Rema Padman	A Two Stage Search Heuristic for Scheduling Payments in Projects.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	schedules, heuristics, projects, contracts, payments
16	Elke Pulvermüller, Andreas Speck, Awais Rashid	Implementing Collaboration-Based Designs Using Aspect-Oriented Programming.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Mixin Layers, Aspect-Oriented Programming, Contracts, Separation of Concerns, Collaboration-based Design
16	Yigal Hoffner, Heiko Ludwig, Ceki Gülcü, Paul W. P. J. Grefen	An Architecture for Cross-Organizational Business Processes.	WECWIS	2000	DBLP DOI BibTeX RDF	cross-organizational processes, contract match-making, workflow management, B2B e-commerce, electronic contracts, virtual markets
16	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
16	Prabu Davamanirajan, Tridas Mukhopadhyay, Charles H. Kriebel	To license or not: the case of a new information technology product.	HICSS (4)	1995	DBLP DOI BibTeX RDF	information technology product, operating costs, actual cost impact, duopoly two-period model, one-time licensing, period-by-period licensing, licensor, information technology, economics, contracts, costing, product development, cost-benefit analysis, licensing, cost reduction, commerce
15	Franco Barbanera, Ugo de'Liguoro	Two notions of sub-behaviour for session-based client/server systems.	PPDP	2010	DBLP DOI BibTeX RDF	behavioural semantics, client/server interaction, semantics of subtyping, sub-behaviour, coinduction, session types
15	Justin King, Alan W. Colman	A Multi Faceted Management Interface for Web Services.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
15	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
15	Constantinos Kotsokalis, Ramin Yahyapour, Miguel Angel Rojas González	Modeling Service Level Agreements with Binary Decision Diagrams.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
15	Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar	Monotonicity in Service Orchestrations.	Petri Nets	2009	DBLP DOI BibTeX RDF
15	Luca Padovani	Contract-Based Discovery and Adaptation of Web Services.	SFM	2009	DBLP DOI BibTeX RDF
15	Mario Bravetti, Gianluigi Zavattaro	Contract-Based Discovery and Composition of Web Services.	SFM	2009	DBLP DOI BibTeX RDF
15	Frank Alexander Kraemer, Peter Herrmann	Automated Encapsulation of UML Activities for Incremental Development and Verification.	MoDELS	2009	DBLP DOI BibTeX RDF	UML Activities, UML State Machines, UML Streaming Parameters, Verification, Model Reuse, System Composition
15	Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel 0001	ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.	ICSE	2009	DBLP DOI BibTeX RDF
15	Davide Maria Parrilli	The Determination of Jurisdiction in Grid and Cloud Service Level Agreements.	GECON	2009	DBLP DOI BibTeX RDF	Jurisdiction, Grid, SLA, Cloud, Legal
15	Liliana Favre, Claudia Pereira	Formalizing MDA-Based Refactorings.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Formal Specification, Model Driven Architecture, Refactoring, Model Driven Development
15	Alberto Portilla, Tan Hanh, Javier-Alfonso Espinosa-Oviedo	Building reliable mobile services based applications.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
15	Paulo Ditarso Maciel Jr., Flavio V. D. de Figueiredo, D. Maia, Francisco Vilar Brasileiro, Alvaro Coelho	On the planning of a hybrid IT infrastructure.	NOMS	2008	DBLP DOI BibTeX RDF
15	Arsenii Rudich, Ádám Darvas, Peter Müller 0001	Checking Well-Formedness of Pure-Method Specifications.	FM	2008	DBLP DOI BibTeX RDF
15	Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann	Using Dynamic Symbolic Execution to Improve Deductive Verification.	SPIN	2008	DBLP DOI BibTeX RDF
15	Alexander M. Hoole, Issa Traoré	Contract-Based Security Monitors for Service Oriented Software Architecture.	APSCC	2008	DBLP DOI BibTeX RDF
15	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
15	Alberto Portilla, Tan Hanh, Javier-Alfonso Espinosa-Oviedo, Christine Collet, Genoveva Vargas-Solar	Construire des applications fiables à base de services mobiles.	UbiMob	2008	DBLP DOI BibTeX RDF	application à base de services, comportement transactionnel, coordination de services, propriétés non fonctionnelles
15	Fabio Massacci, Frank Piessens, Ida Sri Rejeki Siahaan	Security-By-Contract for the Future Internet.	FIS	2008	DBLP DOI BibTeX RDF
15	Jacob Matthews, Amal Ahmed 0001	Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.	ESOP	2008	DBLP DOI BibTeX RDF
15	Alessio Lomuscio, Hongyang Qu 0001, Monika Solanki	Towards Verifying Contract Regulated Service Composition.	ICWS	2008	DBLP DOI BibTeX RDF
15	Ting Wang, Paul W. P. J. Grefen, Jochem Vonk	Ensuring Transactional Reliability by E-Contracting.	CAiSE	2008	DBLP DOI BibTeX RDF
15	Anas Abou El Kalam, Yves Deswarte	Critical Infrastructures Security Modeling, Enforcement and Runtime Checking.	CRITIS	2008	DBLP DOI BibTeX RDF	Security policies and models, access control enforcement, security of critical infrastructures, runtime model checking
15	David Evans 0002, David M. Eyers	Deontic logic for modelling data flow and use compliance.	MPAC	2008	DBLP DOI BibTeX RDF	middleware, contract, deontic logic, event calculus
15	Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia	A framework for adaptive real-time applications: the declarative real-time OSGi component model.	ARM	2008	DBLP DOI BibTeX RDF	real-time system, OSGi, component framework
15	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
15	Mario Bravetti, Gianluigi Zavattaro	Contract Compliance and Choreography Conformance in the Presence of Message Queues.	WS-FM	2008	DBLP DOI BibTeX RDF
15	Michal Feldman, John Chuang, Ion Stoica, Scott Shenker	Hidden-Action in Network Routing.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
15	Marc Lohmann, Leonardo Mariani, Reiko Heckel	A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
15	Maria Grazia Buscemi, Ugo Montanari	CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.	ESOP	2007	DBLP DOI BibTeX RDF
15	Hélia Pouyllau, Stefan Haar	A protocol for QoS contract negotiation and its implementation using Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
15	Patric Fornasier, Jim Webber, Ian Gorton	Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL.	CBSE	2007	DBLP DOI BibTeX RDF
15	Mesfin Mulugeta, Alexander Schill	An Approach for QoS Contract Negotiation in Distributed Component-Based Software.	CBSE	2007	DBLP DOI BibTeX RDF
15	Emel Filiz	Incorporating unawareness into contract theory.	TARK	2007	DBLP DOI BibTeX RDF
15	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
15	Mesfin Mulugeta, Alexander Schill	A Framework for QoS Contract Negotiation in Component-Based Applications.	CEE-SET	2007	DBLP DOI BibTeX RDF
15	Philippe Collet, Jacques Malenfant, Alain Ozanne, Nicolas Rivierre	Composite Contract Enforcement in Hierarchical Component Systems.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
15	Alberto Portilla, Genoveva Vargas-Solar, Christine Collet, José-Luis Zechinelli-Martini, Luciano García-Bañuelos	Contract Based Behavior Model for Services Coordination.	WEBIST (Selected Papers)	2007	DBLP DOI BibTeX RDF	Transactional behavior, web services, services oriented systems, advanced transactional models, services based applications
15	Robert Entriken	Elementary Analysis of Energy Options for Resource Adequacy.	HICSS	2007	DBLP DOI BibTeX RDF
15	Cosimo Laneve, Luca Padovani	The Must Preorder Revisited.	CONCUR	2007	DBLP DOI BibTeX RDF
15	Martin Waldburger, Burkhard Stiller	Legal Compliance in Commercial Service Provisioning Across Administrative Domains.	EUNICE	2007	DBLP DOI BibTeX RDF
15	Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball	Feedback-Directed Random Test Generation.	ICSE	2007	DBLP DOI BibTeX RDF
15	Eberhard Schmid, Grit Walther, Thomas Spengler	Coordination in Recycling Networks.	OR	2007	DBLP DOI BibTeX RDF
15	John K. Debenham, Simeon J. Simoff	A Model for Informed Negotiating Agents.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
15	Shan-Shan Hou, Lu Zhang 0023, Tao Xie 0001, Hong Mei 0001, Jiasu Sun	Applying Interface-Contract Mutation in Regression Testing of Component-Based Software.	ICSM	2007	DBLP DOI BibTeX RDF
15	Ilja Ponka, Nicholas R. Jennings	Changing Circumstances and Leveled Commitment: A Compensatory Approach to Contracting.	CEC/EEE	2007	DBLP DOI BibTeX RDF
15	Jens Dietrich 0001, John G. Hosking, Jonathan Giles	A Formal Contract Language for Plugin-based Software Engineering.	ICECCS	2007	DBLP DOI BibTeX RDF
15	Ting Wang, Jochem Vonk, Paul W. P. J. Grefen	TxQoS: A Contractual Approach for Transaction Management.	EDOC	2007	DBLP DOI BibTeX RDF
15	Jenny Bhuiyan, Surya Nepal, John J. Zic	Checking Conformance between Business Processes and Web Service Contract in Service Oriented Applications.	ASWEC	2006	DBLP DOI BibTeX RDF
15	Alberto Portilla, Christine Collet, Genoveva Vargas-Solar	Towards a transactional services coordination model.	IDEAS	2006	DBLP DOI BibTeX RDF	Transactional behaviour, web services, services oriented systems, advanced transactional models, services based applications
15	Don Perugini, Don Gossink	Order of Movement in Decommitting from a Contract.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
15	Mesfin Mulugeta, Alexander Schill	Component QoS Contract Negotiation in Multiple Containers.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
15	Gabriele Cecchetti, Anna Lina Ruscelli	A framework for enhanced QoS support in IEEE802.11e networks.	MobiMedia	2006	DBLP DOI BibTeX RDF	WLAN, scheduling algorithm, QoS management
15	Bei Shui Liao, Li Jin, Ji Gao	PDC-Agent Enabled Autonomic Computing: A Theory of Autonomous Service Composition.	PRIMA	2006	DBLP DOI BibTeX RDF
15	Ke Shi	A Component Based Design Tool for Networked Embedded Software Supporting Non-Functional Analysis.	GCC Workshops	2006	DBLP DOI BibTeX RDF
15	Andreas Mitschele, Ingo Oesterreicher, Frank Schlottmann, Detlef Seese	Heuristic Optimization of Reinsurance Programs and Implications for Reinsurance Buyers.	OR	2006	DBLP DOI BibTeX RDF
15	Lea Bloechlinger	A Coherent Spot/Forward Price Model with Regime-Switching.	OR	2006	DBLP DOI BibTeX RDF
15	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
15	Alan W. Colman, Linh Duy Pham, Jun Han 0004, Jean-Guy Schneider	Adaptive application-specific middleware.	MW4SOC	2006	DBLP DOI BibTeX RDF	service-oriented computing, adaptive middleware, ROAD
15	John K. Debenham, Simeon J. Simoff	Building Intelligent Negotiating Agents.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
15	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
15	Iain Bate, Philippa Conmy	Safe Composition of Real Time Software.	HASE	2005	DBLP DOI BibTeX RDF
15	Cosmin Carabelea, Michael Berger	Agent Negotiation in Ad-Hoc Networks.	MobiQuitous	2005	DBLP DOI BibTeX RDF
15	Jens A. Andersson, Panlop Zeephongsekul	Shaping Variables in Service Level Agreements at Application Level.	MASCOTS	2005	DBLP DOI BibTeX RDF
15	Francisco Curbera, Donald F. Ferguson, Martin Nally, Marcia L. Stockton	Toward a Programming Model for Service-Oriented Computing.	ICSOC	2005	DBLP DOI BibTeX RDF
15	Antonio Brogi, Razvan Popescu	Towards Semi-automated Workflow-Based Aggregation of Web Services.	ICSOC	2005	DBLP DOI BibTeX RDF
15	Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego	Diagnosing Errors in DbC Programs Using Constraint Programming.	CAEPIA	2005	DBLP DOI BibTeX RDF
15	Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon	A Component-Oriented Model for the Design of Safe Multi-threaded Applications.	CBSE	2005	DBLP DOI BibTeX RDF
15	Bert Lagaisse, Wouter Joosen	Component-Based Open Middleware Supporting Aspect-Oriented Software Composition.	CBSE	2005	DBLP DOI BibTeX RDF
15	Elias A. Demetriades, Deborah Cernauskas	Forecasting the term structure of natural gas constant maturity futures using a seasonal principal components-based post-weighted monte carlo simulation.	WSC	2005	DBLP BibTeX RDF
15	Nikola Milanovic	Contract-Based Web Service Composition Framework with Correctness Guarantees.	ISAS	2005	DBLP DOI BibTeX RDF
15	R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon	Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems.	SEW	2005	DBLP DOI BibTeX RDF
15	Ji-Hyun Lee, Hye-Min Noh, Cheol-Jung Yoo, Ok-Bae Chang	Component Contract-Based Formal Specification Technique.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
15	Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang 0023, Bing Xie	Contract-Based Mutation for Testing Components.	ICSM	2005	DBLP DOI BibTeX RDF
15	Jens Happe	Predicting Mean Service Execution Times of Software Components Based on Markov Models.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
15	Guido Governatori, Zoran Milosevic	Dealing with contract violations: formalism and domain specific language.	EDOC	2005	DBLP DOI BibTeX RDF
15	Jonathan S. Ostroff, David Makalsky, Richard F. Paige	Agile Specification-Driven Development.	XP	2004	DBLP DOI BibTeX RDF
15	Luciano Baresi, Carlo Ghezzi, Sam Guinea	Smart monitors for composed services.	ICSOC	2004	DBLP DOI BibTeX RDF	pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements
15	Sven Overhage	UnSCom: A Standardized Framework for the Specification of Software Components.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF
15	Orlando Loques, Alexandre Sztajnberg	Customizing Component-Based Architectures by Contract.	Component Deployment	2004	DBLP DOI BibTeX RDF
15	Paul Lajbcygier	Using Visual Exploratory Data Analysis to Find Bias in Option Pricing Models.	IV	2004	DBLP DOI BibTeX RDF
15	Andrew Stutzman	Student employment system: the pros and cons of building a homegrown application and using student programmers.	SIGUCCS	2004	DBLP DOI BibTeX RDF	student employment, databases, oracle, perl, student workers
15	Robert M. Coehoorn, Nicholas R. Jennings	Learning on opponent's preferences to make effective multi-issue negotiation trade-offs.	ICEC	2004	DBLP DOI BibTeX RDF
15	Claus Pahl	An Ontology-Based Framework for Semantic Grid Service Composition.	GSEM	2004	DBLP DOI BibTeX RDF	Ontology, Service composition, Semantic Grid, Service processes
15	Aleksandr Rudkevich	Investment and Bidding Strategies in Markets for Firm Transmission Rights.	HICSS	2004	DBLP DOI BibTeX RDF
15	Alea M. Fairchild	Information Technology Outsourcing (ITO) Governance: An Examination of the Outsourcing Management Maturity Model.	HICSS	2004	DBLP DOI BibTeX RDF