Search results for "contract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Peter F. Linington, Stephen W. Neal	Using Policies in the Checking of Business to Business Contracts.	POLICY	2003	DBLP DOI BibTeX RDF
14	Randall Davis, Reid G. Smith	Negotiation Distributed as a Metaphor for Problem Solving.	Communication in Multiagent Systems	2003	DBLP DOI BibTeX RDF
14	Christoph Quix, Mareike Schoop, Manfred A. Jeusfeld	Business Data Management for B2B Electronic Commerce.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
14	Roger S. Barga, David B. Lomet, Gerhard Weikum	Recovery Guarantees for General Multi-Tier Applications.	ICDE	2002	DBLP DOI BibTeX RDF	fault-tolerance, e-commerce, applications, recovery
14	Gerald Quirchmayr, Zoran Milosevic, Roger Tagg, James B. Cole, Sachin Kulkarni	Establishment of Virtual Enterprise Contracts.	DEXA	2002	DBLP DOI BibTeX RDF
14	John Leaney, David Rowe, Tim O'Neill	Issues in the construction of new measures within the discipline of Open Systems.	APSEC	2002	DBLP DOI BibTeX RDF
14	Jason N. Wyatt, Martha J. Kosa, Mark A. Boshart	Implementing student ideas in CS2: a simple IDE.	ITiCSE	2002	DBLP DOI BibTeX RDF
14	Maria Teresa Baldassarre, Danilo Caivano, Corrado Aaron Visaggio, Giuseppe Visaggio	A Decision Model Supporting Cooperative Work as an Experience Package.	COMPSAC	2002	DBLP DOI BibTeX RDF
14	Robert Bruce Findler, Matthias Felleisen	Contracts for higher-order functions.	ICFP	2002	DBLP DOI BibTeX RDF	predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
14	Christopher Ward, Melissa J. Buco, Rong N. Chang, Laura Z. Luan	A Generic SLA Semantic Model for the Execution Management of E-business Outsourcing Contracts.	EC-Web	2002	DBLP DOI BibTeX RDF
14	Brian Shand, Jean Bacon	Policies in Accountable Contracts.	POLICY	2002	DBLP DOI BibTeX RDF
14	Matthias M. Müller, Rainer Typke, Oliver Hagner	Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming.	ICSM	2002	DBLP DOI BibTeX RDF
14	Martin J. Kollingbaum, Timothy J. Norman	Supervised interaction: creating a web of trust for contracting agents in electronic environments.	AAMAS	2002	DBLP DOI BibTeX RDF	agent organisations, norms and institutions, electronic commerce
14	Huo Yan Chen, T. H. Tse, Tsong Yueh Chen	TACCLE: a methodology for object-oriented software testing at the class and cluster levels.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	contact specifications, software testing, object-oriented programming, message passing, algebraic specifications
14	Don Cruickshank, Luc Moreau 0001, David De Roure	Architectural design of a multi-agent system for handling metadata streams.	Agents	2001	DBLP DOI BibTeX RDF
14	Robert Bruce Findler, Mario Latendresse, Matthias Felleisen	Behavioral contracts and behavioral subtyping.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
14	Naftaly H. Minsky, Victoria Ungureanu	Scalable Regulation of Inter-enterprise Electronic Commerce.	WELCOM	2001	DBLP DOI BibTeX RDF
14	Kishore Sengupta, Balasubramaniam Ramesh	Modeling Knowledge-Intensive Processes: Concepts, Methods, and Applications - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
14	Boris Kötting, Frank Maurer	Approaching Support for Internet-Based Negotiation on Software Projects.	WETICE	2001	DBLP DOI BibTeX RDF
14	Martin Bichler	Trading Financial Derivatives on the Web-An Approach Towards Automating Negotiations on OTC Markets.	Inf. Syst. Frontiers	2000	DBLP DOI BibTeX RDF	financial derivatives, OTC trading, electronic exchanges, microeconomic engineering, multi-attribute auctions
14	Juhani Warsta, Veikko Seppänen	Process View on the Software Contracting In the Internet Business.	EUROMICRO	2000	DBLP DOI BibTeX RDF
14	Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour	Component-Based Development? Refining the Blueprint.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
14	Benoit Baudry, Vu Le Hanh, Yves Le Traon	Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
14	Dan Boneh, Moni Naor	Timed Commitments.	CRYPTO	2000	DBLP DOI BibTeX RDF
14	Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge	Agent Theory for Team Formation by Dialogue.	ATAL	2000	DBLP DOI BibTeX RDF
14	Fernando C. N. Pereira	Multimedia Standards: Present and Future.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF
14	Paolo A. G. Sivilotti, Charles P. Giles	The specification of distributed objects: liveness and locality.	CASCON	1999	DBLP BibTeX RDF	CORBA
14	Asit Dan, Daniel M. Dias, Thao Nguyen, Marty Sachs, Hidayatullah Shaikh, Richard P. King, Sastry Duri	The Coyote Project: Framework for Multi-party E-Commerce.	ECDL	1998	DBLP DOI BibTeX RDF
14	Erik S. Steinmetz, John Collins, Scott Jamison, Rashmi Sundareswara, Bamshad Mobasher, Maria L. Gini	Bid Evaluation and Selection in the MAGNET Automated Contracting System.	AMET	1998	DBLP DOI BibTeX RDF
14	William N. Robinson	Electronic Brokering for Assisted Contracting of Software Applets.	HICSS (4)	1997	DBLP DOI BibTeX RDF
14	David Evans 0003	An architecture for enforcement of usage contracts in distributed multimedia systems.	CASCON	1996	DBLP BibTeX RDF	World Wide Web (WWW)
14	Debajyoti Mukhopadhyay	Interoperability Using APPC.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
14	Daniel Weise	Constraints, Abstraction and Verification.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
14	Ralph D. Page	Holisitc Case Study Approach to Ada Based Software Engineering Training.	CSEE	1989	DBLP DOI BibTeX RDF
14	G. Octo Barnett	History of the development of medical information systems at the Laboratory of Computer Science at Massachusetts General Hospital.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
14	Dennis K. Knight	A new look at computer contracts.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
14	Irène Kowarski, M. Lopez	The Document Concept in a Data Base.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
14	Steven Brower	Function Design Document: Toward better documentation for data processing contracts.	SIGDOC	1982	DBLP DOI BibTeX RDF
14	Stephen N. Hollman	A perspective of standard form contracts in the data processing industry.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
13	Felipe M. Villoria, Oscar Díaz	A Federated Approach to Crossblogging through Contracts.	SAINT	2011	DBLP DOI BibTeX RDF	community, blog, contract, ECA rule
13	Fred Douglis	As I Emerge from the Mobile Phone Dark Ages, I Look Around in Fear and Wonder.	IEEE Internet Comput.	2010	DBLP DOI BibTeX RDF	mobile phone contract options, applications, smart phones
13	Patrice Chalin	Engineering a Sound Assertion Semantics for the Verifying Compiler.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	programming by contract, requirements engineering, Software verification, assertions, logics of programs
13	Michael Greenberg 0002, Benjamin C. Pierce, Stephanie Weirich	Contracts made manifest.	POPL	2010	DBLP DOI BibTeX RDF	blame, dynamic checking, refinement type, contract, translation, precondition, postcondition
13	Virginia N. L. Franqueira, André van Cleeff, Pascal van Eck, Roel J. Wieringa	External Insider Threat: A Real Security Challenge in Enterprise Value Webs.	ARES	2010	DBLP DOI BibTeX RDF	B2B contract, Risk Management, Security Metrics, Enterprise Network, Extended Enterprise
13	Joe Zou, Jing Mei, Yan Wang 0002	From Representational State Transfer to Accountable State Transfer Architecture.	ICWS	2010	DBLP DOI BibTeX RDF	SOA, Accountability, REST, Service Contract, AST
13	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models
13	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models
13	Kaouthar Fakhfakh, Saïd Tazi 0001, Khalil Drira, Tarak Chaari, Mohamed Jmaiel	Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers.	AINA Workshops	2010	DBLP DOI BibTeX RDF	Quality of Service, Ontology, Negotiation, SLA, Contract
13	Peter G. Harhammer	Optimization in Operation of Electric and Energy Power Systems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Load dispatcher, Load curve, Thermal plant, Run-of-river plant, Storage plant, Energy purchase contract, Co-generation plant, Electric power system, Operation planning
13	Nagesh Mukunda Rao	Challenges in execution of outsourcing contracts.	ISEC	2009	DBLP DOI BibTeX RDF	demand supply management, enterprise plan, enterprise project management system, innovation., invoicing challenges, it outsourcing, key process indicators, process optimization, service level agreements, contract
13	Trevor Burnham, Rahul Sami	A reputation system for selling human computation.	KDD Workshop on Human Computation	2009	DBLP DOI BibTeX RDF	adverse selection, contract theory, trust, feedback, reputation systems, human computation, moral hazard
13	Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman	Injecting rapid feedback and collaborative reasoning in teaching specifications.	SIGCSE	2009	DBLP DOI BibTeX RDF	collaborative reasoning, contract programming, formal methods, interface specifications, learning tools
13	Bala M. Balachandran, Ebrahim Al-Hashel, Masoud Mohammadian	An Agent-Mediated Collaborative Negotiation in E-Commerce: A Case Study in Travel Industry.	KES (2)	2009	DBLP DOI BibTeX RDF	Personal Travel Assistant, Multi-agent systems, E-Commerce, Intelligent Agent, Automated Negotiation, JADE, FIPA, Contract-Net Protocol
13	Jon Oldevik, Massimiliano Menarini, Ingolf Krüger	Model Composition Contracts.	MoDELS	2009	DBLP DOI BibTeX RDF	aspect-oriented development, design by contract, Model composition
13	Daniel M. Zimmerman, Joseph R. Kiniry	A Verification-Centric Software Development Process for Java.	QSIC	2009	DBLP DOI BibTeX RDF	Business Object Notation, Java, formal methods, software verification, Design by Contract, software engineering process, Java Modeling Language
13	Víctor Rodríguez-Doncel, Jaime Delgado	Semantic Expression and Execution of B2B Contracts on Multimedia Content.	SAMT	2009	DBLP DOI BibTeX RDF	Ontology, Contract, Intellectual Property, DRM, license, MPEG-21
13	Fang Wu, Li Zhang 0001, Bernardo A. Huberman	Truth-Telling Reservations.	Algorithmica	2008	DBLP DOI BibTeX RDF	Truth-telling, Mechanism design, Contract, Incentive compatible, Reservation, Option
13	Mi-Jung Choi, Hong-Taek Ju, James W. Hong, Dong-Sik Yun	Design and implementation of Web Services-based NGOSS technology-specific architecture.	Ann. des Télécommunications	2008	DBLP DOI BibTeX RDF	NGOSS, TNA, TSA, CCV, Framework services, Web Services, Contract
13	Vladimir Tosic	Three Common Mistakes in Modeling and Analysis of QoS of Service-Oriented Systems.	ICSOC Workshops	2008	DBLP DOI BibTeX RDF	anti-pattern, Quality of service, performance analysis, performance prediction, contract, Web service composition, Web service selection
13	Pietro Ferrara 0001, Francesco Logozzo, Manuel Fähndrich	Safer unsafe code for .NET.	OOPSLA	2008	DBLP DOI BibTeX RDF	bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains
13	Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio	Implementing Java modeling language contracts with AspectJ.	SAC	2008	DBLP DOI BibTeX RDF	JML compiler, aspect-oriented programming, AspectJ, design by contract, JML language
13	Roy Patrick Tan, Stephen Edwards	Evaluating Automated Unit Testing in Sulu.	ICST	2008	DBLP DOI BibTeX RDF	automated unit testing, software engineering, software testing, programming languages, design by contract, test evaluation
13	Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares	A JML Compiler Based on AspectJ.	ICST	2008	DBLP DOI BibTeX RDF	JML compiler, Aspect-Oriented Programming, AspectJ, Design by Contract, JML language
13	Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt	On Mechanisms for Deadlock Avoidance in SIP Servlet Containers.	IPTComm	2008	DBLP DOI BibTeX RDF	converged container, synchronization contract, Concurrency, negotiation, SIP, servlet, deadlock prevention
13	Wenwen Liang, Mingxin Qin, Mingke Jiao, Hao Yang, Ke Li, Teng Jiao, Liyuan Bai, Wenyong Wang	Phase Detection Based on the Lock-in Amplifier SR844 and Experiments of Brain Neuron Cells in MIT System.	BMEI (1)	2008	DBLP DOI BibTeX RDF	non-contract, magnetic induction tomography, phase-change detection, oedema neuron cell model, Lock-in amplifier
13	Syed Saif ur Rahman, Nasreddine Aoumeur, Gunter Saake	An adaptive ECA-centric architecture for agile service-based business processes with compliant aspectual .NET environment.	iiWAS	2008	DBLP DOI BibTeX RDF	rule-based adaptation, workflows, information systems, contract, aspect-oriented software development, business rules
13	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
13	Rebecca Wirfs-Brock	Driven to ... Discovering Your Design Values.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	behavior driven design, software development, Design by Contract, model driven design, test driven design, domain driven design, responsibility driven design
13	Yoonsik Cheon, Ashaveena Perumandla	Specifying and checking method call sequences of Java programs.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Method call sequence specification, Programming by contract, Assertion, Pre and postconditions, Runtime checking, JML language
13	Patrice Chalin	Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking
13	Gary T. Leavens, K. Rustan M. Leino, Peter Müller 0001	Specification and verification challenges for sequential object-oriented programs.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Object-oriented programming, Specification, Program verification, Contract, Challenge
13	Will Archer, Philip Alexander Levis, John Regehr	Interface contracts for TinyOS.	IPSN	2007	DBLP DOI BibTeX RDF	sensor networks, validation, automated testing, TinyOS, design by contract
13	George Rzevski, Petr Skobelev, Vyacheslav Andreev	MagentaToolkit: A Set of Multi-agent Tools for Developing Adaptive Real-Time Applications.	HoloMAS	2007	DBLP DOI BibTeX RDF	Ontology, Multi-Agent Systems, Agent, Swarm Intelligence, Semantic Networks, Holistic Approach, Contract Net
13	Michael Maaser, Steffen Ortmann, Peter Langendörfer	The Privacy Advocate: Assertion of Privacy by Personalised Contracts.	WEBIST (Selected Papers)	2007	DBLP DOI BibTeX RDF	privacy contract, Privacy, mobile devices, negotiation, personalisation, user preferences, P3P
13	Petr Skobelev, Andrey Glaschenko, Ilya Grachev, Sergey Inozemtsev	MAGENTA technology case studies of magenta i-scheduler for road transportation.	AAMAS	2007	DBLP DOI BibTeX RDF	crossdocks, incremental scheduling, large-scale transportation networks, truck scheduling, ontology, multi-agent systems, resource allocation, semantic networks, vehicle routing problem, dynamic routing, distributed decision making, contract net
13	Holger Giese, Alexander Vilbig	Separation of non-orthogonal concerns in software architecture and design.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Software architecture, Consistency, Separation of concern, Design by contract, Behavior synthesis
13	Michael E. Caspersen, Michael Kölling	A novice's process of object-oriented programming.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	programming process, representation invariant, UML, testing, pedagogy, refactoring, CS1, design by contract, objects-first, incremental development, programming education, stepwise refinement, top-down design, systematic programming
13	Sam Tobin-Hochstadt, Matthias Felleisen	Interlanguage migration: from scripts to programs.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	interlanguage migration, contract, ?-calculus, module systems
13	Philippe Collet, Alain Ozanne, Nicolas Rivierre	On contracting different behavioral properties in component-based systems.	SAC	2006	DBLP DOI BibTeX RDF	verification, component, contract, assertion, TLA
13	Roger Clarke	A major impediment to B2C success is...the concept 'B2C'.	ICEC	2006	DBLP DOI BibTeX RDF	impediments, privacy policy statements, terms of contract, privacy, marketing, adoption, eCommerce
13	Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond Choo	Formal analysis of secure contracting protocol for e-tendering.	ACSW	2006	DBLP BibTeX RDF	e-tendering, secure e-contract, e-commerce security
13	Anasuya Bulkan	Is privacy an attainable goal?: a review of the privacy rights dilemma.	PST	2006	DBLP DOI BibTeX RDF	privacy contract, rights and ethics, policy
13	Tiaojun Xiao, Gang Yu, Zhaohan Sheng, Yusen Xia	Coordination of a Supply Chain with One-Manufacturer and Two-Retailers Under Demand Promotion and Disruption Management Decisions.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	supply chain coordination, game, contract, disruption management
13	Douglas Wightman, Lucas Jurkovic, Yolande Chan	Technology to facilitate ethical action: a proposed design.	AI Soc.	2005	DBLP DOI BibTeX RDF	Consensus-based action, Ethical analysis, Social contract theory, Human computer interaction, System design, Emerging technology
13	Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll	An overview of JML tools and applications.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Assertion checking, Java, Formal specification, Program verification, Design by Contract
13	Benoit Aubert, Michel Patry, Suzanne Rivard	A framework for information technology outsourcing risk management.	Data Base	2005	DBLP DOI BibTeX RDF	contract design, information system, risk management, outsourcing, risk
13	Shuyu Li, XiaoJiang Li, Jian Wu	Components and Contracts for Embedded Software.	ECBS	2005	DBLP DOI BibTeX RDF	ESIM, component, embedded, contract
13	John Strassner	Knowledge Management Issues for Autonomic Systems.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	DEN-ng, ontology, knowledge management, data model, contract, information model, autonomic
13	Michael Rosen	An overview of model driven architecture (MDA®) - invited talk abstract.	WOSP	2005	DBLP DOI BibTeX RDF	Model-Driven Architecture®, design by contract™, product line practices, CMI, JMI, MDA®, MOF™, UML®, XMI®, modeling, models, SOA, metadata, design pattern, code generation, domain-specific language, business process management, enterprise architecture, component-based development, UML profile
13	Stefan J. Johansson, Fredrik Håård	Tactical coordination in no-press diplomacy.	AAMAS	2005	DBLP DOI BibTeX RDF	diplomacy, game bots, multiagent system, board games, contract net
13	Giuseppe Ateniese	Verifiable encryption of digital signatures and applications.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	digital signatures, public-key cryptography, fair exchange, proof of knowledge, contract signing, Certified e-mail
13	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
13	Henry Deeb Gabriel	The emerging law of international electronic commerce: recent work by UNCITRAL.	ICEC	2003	DBLP DOI BibTeX RDF	media neutrality, contract, functional equivalence
13	Jane K. Winn	Regulating electronic communications with government: improving the architecture or impeding the dialog?	ICEC	2003	DBLP DOI BibTeX RDF	digital signature, contract, embedded software, public key infrastructure, electronic signature, record management
13	Chrysanthos Dellarocas	Efficiency through feedback-contingent fees and rewards in auction marketplaces with adverse selection and moral hazard.	EC	2003	DBLP DOI BibTeX RDF	adverse selection, contract theory, listing fees, trust, feedback, online auctions, moral hazard
13	Cem Kaner	Liability for defective documentation.	SIGDOC	2003	DBLP DOI BibTeX RDF	UCC, UCITA, deceptive practices, user manual, warranty, contract, fraud
13	Shigeo Matsubara	Trade of a problem-solving task.	AAMAS	2003	DBLP DOI BibTeX RDF	contract theory, multiagent systems, auction, task allocation
13	Guillaume Carlier	Nonparametric Adverse Selection Problems.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	principal-agent problems, contract theory, abstract convex analysis
13	Minghua He, Ho-fung Leung	Agents in E-Commerce: State of the Art.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	Agent, Electronic commerce, Negotiation, Auction, Contract, Supply chain
13	Gordana Brouilette, Cindy Stewart	Benefits and strategies of implementing educational software site licenses.	SIGUCCS	2002	DBLP DOI BibTeX RDF	sales, site license, volume purchasing, educational, software, contract, research, students, agreements, administration, inventory, computer labs, faculty, staff