|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1372 occurrences of 797 keywords
|
|
|
Results
Found 4935 publication records. Showing 4935 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | John William Hatfield, Scott Duke Kominers |
Matching in networks with bilateral contracts: extended abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 11th ACM Conference on Electronic Commerce (EC-2010), Cambridge, Massachusetts, USA, June 7-11, 2010, pp. 119-120, 2010, ACM, 978-1-60558-822-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
quasisubmodularity, networks, stability, matching, substitutes |
33 | Cosimo Laneve, Luca Padovani |
The Pairing of Contracts and Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 681-700, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Georgios K. Giannikis, Aspassia Daskalopulu |
The Representation of e-Contracts as Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings, pp. 963-973, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription |
33 | Kung-Kiu Lau, Vladyslav Ukis |
Defining and Checking Deployment Contracts for Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings, pp. 1-16, 2006, Springer, 3-540-35628-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Ralf Hinze, Johan Jeuring, Andres Löh |
Typed Contracts for Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, pp. 208-225, 2006, Springer, 3-540-33438-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz |
Refactoring with Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE ![In: AGILE 2006 Conference (AGILE 2006), 23-28 July 2006, Minneapolis, Minnesota, USA, pp. 53-64, 2006, IEEE Computer Society, 0-7695-2562-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Shuyu Li, XiaoJiang Li, Jian Wu |
Components and Contracts for Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA, pp. 19-24, 2005, IEEE Computer Society, 0-7695-2308-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ESIM, component, embedded, contract |
33 | Silvia Llorente, Jaime Delgado, Eva Rodríguez, Rubén Barrio, Isabella Longo, Franco Bixio |
Generation of Standardised Rights Expressions from Contracts: An Ontology Approach? ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, pp. 836-845, 2005, Springer, 3-540-29739-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Michael Maaser, Peter Langendörfer |
Automated Negotiation of Privacy Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 505-510, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
privacy, negotiation, contract, preferences |
33 | Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl |
Component Composition Preserving Behavioural Contracts Based on Communication Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers, pp. 54-65, 2005, Springer, 3-540-31023-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Marc Lohmann, Stefan Sauer 0001, Gregor Engels |
Executable Visual Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 63-70, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Alexander Keller |
Automating the Change Management Process with Electronic Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC Workshops ![In: 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005 Workshops), 19 July 2005, München, Germany, pp. 99-108, 2005, IEEE Computer Society, 0-7695-2384-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Ralf H. Reussner, Jens Happe, Annegret Habel |
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 80-95, 2005, Springer, 3-540-25420-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Helmut Kneer, Henrik Stormer, Harald Häuschen, Burkhard Stiller |
An Agent-Based Framework for Monitoring Service Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, Third International Conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings, pp. 139-151, 2002, Springer, 3-540-44137-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Yao-Hua Tan, Walter Thoen |
Using Event Semantics for Modeling Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 170, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Kweku-Muata Bryson, William E. Sullivan |
Designing Effective Incentive-Oriented Outsourcing Contracts for ERP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 233, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Alan S. Abrahams, David M. Eyers, Jean Bacon |
A Coverage-Determination Mechanism for Checking Business Contracts against Organizational Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TES ![In: Technologies for E-Services, Third International Workshop, TES 2002, Hong Kong, China, August 23-24, 2002, Proceedings, pp. 97-106, 2002, Springer, 3-540-44110-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Mark Klein, Peyman Faratin, Hiroki Sayama, Yaneer Bar-Yam |
Negotiating complex contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 753-757, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
nonlinear negotiation |
33 | Kamalakar Karlapalem, Ajay R. Dani, P. Radha Krishna 0001 |
A Frame Work for Modeling Electronic Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2001, 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings, pp. 193-207, 2001, Springer, 3-540-42866-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Holger Schmidt 0003 |
Service Contracts Based on Workflow Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSOM ![In: Services Management in Intelligent Networks, 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000, Austin, Texas, USA, December 4-6, 2000, Proceedings, pp. 132-144, 2000, Springer, 3-540-41427-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Workflow, Business Process, Service Level Agreements, Outsourcing, Service Contract |
33 | Marjanca Koetsier, Paul W. P. J. Grefen, Jochem Vonk |
Contracts for Cross-Organizational Workflow Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: Electronic Commerce and Web Technologies, First International Conference, EC-Web 2000, London, UK, September 4-6, 2000, Proceedings, pp. 110-121, 2000, Springer, 3-540-67981-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Kyung-Ah Chang, Do-Gun Jung, Byung-Rae Lee, Tai-Yun Kim |
CORBA-Based Fair Contracts Support System for Subjects of Electronic Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 1999 International Conference on Parallel Processing Workshops, ICPPW 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 462-467, 1999, IEEE Computer Society, 0-7695-0353-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Ian M. Holland |
Specifying Reusable Components Using Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings, pp. 287-308, 1992, Springer, 3-540-55668-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Mike P. Papazoglou |
The Challenges of Service Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings, pp. 1-15, 2008, Springer, 978-3-540-69533-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
service versioning, service contracts and policies, Web services, regulatory compliance, business protocols, service contracts |
31 | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik |
On Observing Contracts: Deontic Contracts Meet Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JURIX ![In: Legal Knowledge and Information Systems - JURIX 2018: The Thirty-first Annual Conference, Groningen, The Netherlands, 12-14 December 2018., pp. 21-30, 2018, IOS Press, 978-1-61499-934-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | David M. Rahman |
But who will monitor the monitor? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), Stanford, California, USA, July 6--10, 2009, pp. 157-158, 2009, ACM, 978-1-60558-458-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mediated contracts, virtual implementation, monitoring |
31 | Huiming Qu, Jie Xu 0042, Alexandros Labrinidis |
Quality is in the eye of the beholder: towards user-centric web-databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 1106-1108, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
quality contracts, quality of data, quality of service, query processing, transaction processing, web-databases, user-centric |
31 | Gregor Engels, Baris Güldali, Marc Lohmann |
Towards Model-Driven Unit Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, pp. 182-192, 2006, Springer, 978-3-540-69488-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
visual contracts, model checking, test case generation, Design by Contract |
31 | Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlowska |
Translating business contract into compliant business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, pp. 211-220, 2006, IEEE Computer Society, 0-7695-2558-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Business Contracts, Internal Business Processes, Collaborative Business Processes |
31 | Michal Feldman, John Chuang, Ion Stoica, Scott Shenker |
Hidden-action in multi-hop routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), Vancouver, BC, Canada, June 5-8, 2005, pp. 117-126, 2005, ACM, 1-59593-049-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
principal-agent model, routing, mechanism design, contracts, incentives, multi-hop, hidden-action, moral-hazard |
31 | Nikola Milanovic, Jan Richling, Miroslaw Malek |
Lightweight Services for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSTFEUS ![In: 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, WSTFEUS 2004, Vienna, Austria, May 11-12, 2004, pp. 40-44, 2004, IEEE Computer Society, 0-7695-2123-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded systems, services, contracts |
31 | Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner |
Predictable Component Architectures Using Dependent Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISSEF ![In: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, pp. 310-324, 2002, Springer, 3-540-21179-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
automated interface adaptation, component-based interface specification, component-based prediction, production cell, protocol types, parameterised contracts, software architecture, finite state machines |
31 | Ritu Agarwal, Thomas W. Ferratt |
Retention and the career motives of IT professionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCPR ![In: Proceedings of the ACM SIGCPR Conference on Computer Personnel Research, Chicago, Illinois, USA, 2000, pp. 158-166, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
career motives, retention, IT professionals, career anchors, psychological contracts |
30 | Robert Hirschfeld, Michael Perscheid, Christian Schubert, Malte Appeltauer |
Dynamic contract layers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2169-2175, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dynamic contract layers, design by contract, software composition, context-oriented programming |
30 | Krzysztof Mossakowski, Jacek Mandziuk |
Learning Without Human Expertise: A Case Study of the Double Dummy Bridge Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 20(2), pp. 278-299, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
CLAN: A Tool for Contract Analysis and Conflict Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 90-96, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Youliang Zhong, Jian Yang 0001 |
Contract-First Design Techniques for Building Enterprise Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 591-598, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Shaz Qadeer |
Algorithmic Verification of Systems Software Using SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 2, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Sabyasachi Saha, Sandip Sen |
Opportunistic Scheduling and Pricing Strategies for Automated Contracting in Supply Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing Applications in Business ![In: Soft Computing Applications in Business, pp. 179-199, 2008, Springer, 978-3-540-79004-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Pontus Boström, Lionel Morel, Marina Waldén |
Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 79-93, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden |
Developing Consistent Contractual Policies in Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007, December 11-14, 2007, Tsukuba Science City, Japan, pp. 527-534, 2007, IEEE Computer Society, 0-7695-3051-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Victor Hernandez-Baruch, Alberto Portilla, José-Luis Zechinelli-Martini |
ROSE: A transactional services coordination engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: Eight Mexican International Conference in Current Trends in Computer Science, ENC 2007, 24-28 September 2007, Morelia, Michoacan, Mexico, Proceedings, pp. 123-130, 2007, IEEE Computer Society, 0-7695-2899-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Krzysztof Mossakowski, Jacek Mandziuk |
Neural Networks and the Estimation of Hands' Strength in Contract Bridge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2006, 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings, pp. 1189-1198, 2006, Springer, 3-540-35748-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Philippe Collet, Roger Rousseau, Thierry Coupaye, Nicolas Rivierre |
A Contracting System for Hierarchical Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings, pp. 187-202, 2005, Springer, 3-540-25877-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Samuil Angelov, Sven Till, Paul W. P. J. Grefen |
Dynamic and secure B2B e-contract update management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), Vancouver, BC, Canada, June 5-8, 2005, pp. 19-28, 2005, ACM, 1-59593-049-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
e-contract management, e-contract signing, e-contract update, e-commerce, e-contract |
30 | Roger Tagg, Zoran Milosevic, Sachin Kulkarni, Simon Gibson |
Supporting Contract Execution through Recommended Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 15th International Conference, DEXA 2004 Zaragoza, Spain, August 30-September 3, 2004, Proceedings, pp. 1-12, 2004, Springer, 3-540-22936-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Andreas Fink |
Supply Chain Coordination by Means of Automated Negotiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Shuyu Li, Jian Wu, Zhengguo Hu |
A Contract-Based Component Model for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany, pp. 232-239, 2004, IEEE Computer Society, 0-7695-2207-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Bertrand Meyer 0001 |
A Framework for Proving Contract-Equipped Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 108-125, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till |
A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 74, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston |
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 16-19 September 2003, Brisbane, Australia, Proceedings, pp. 159-173, 2003, IEEE Computer Society, 0-7695-1994-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Yigal Hoffner |
Supporting Contract Match-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RIDE ![In: Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, Sydney, Australia, March 23-24, 1999, pp. 64-71, 1999, IEEE Computer Society, 0-7695-0119-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Gwenaël Delaval, Hervé Marchand, Éric Rutten |
Contracts for modular discrete controller synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 57-66, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming |
26 | Ivan Porres, Irum Rauf |
From Nondeterministic UML Protocol Statemachines to Class Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 107-116, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Protocol Statemachines, class contracts |
26 | Enrique Martínez, Gregorio Díaz 0001, María-Emilia Cambronero, Gerardo Schneider |
A Model for Visual Specification of E-contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010, pp. 1-8, 2010, IEEE Computer Society, 978-0-7695-4126-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
deontic specifications, contracts, visual models |
26 | Martin Nordio, Roman Mitin, Bertrand Meyer 0001, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli |
The Role of Contracts in Distributed Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAFOOD ![In: Software Engineering Approaches for Offshore and Outsourced Development - 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 117-129, 2009, Springer, 978-3-642-02986-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Contracts, Distributed Development, Interface Specifications, Software Requirements Specifications |
26 | Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ernest Teniente |
Drawing Preconditions of Operation Contracts from Conceptual Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings, pp. 266-280, 2008, Springer, 978-3-540-69533-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
operation contracts, conceptual modelling, integrity constraints |
26 | Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim |
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 17-31, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML Activities, visual contracts, web services, Business processes, graph transformations |
26 | Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan |
Automated generation of monitors for pattern contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1779-1784, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
specification, design patterns, monitoring, contracts, aspects |
26 | Alvin AuYoung, Laura Rit, Sohn Wiener, John Wilkes |
Service contracts and aggregate utility functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing, HPDC-15, Paris, France, June 19-23, 2006, pp. 119-131, 2006, IEEE, 1-4244-0307-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multijob aggregate-utility function, job scheduling decision, profit-seeking approach, QoS, admission control, resource availability, service contracts |
26 | Zoran Milosevic, Maria E. Orlowska, Shazia Wasim Sadiq |
Linking contracts, processes and services: an event-driven approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2006 IEEE International Conference on Services Computing (SCC 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 390-397, 2006, IEEE Computer Society, 0-7695-2670-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Business Contracts, Service Interaction, Collaborative Business Processes |
26 | Evangelos Katsamakas |
Competing Value Networks, Incomplete Contracts and IT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
information technology effects, non-contractibles, quality differentiation, buyer-supplier relationships, value chains, value networks, industry structure, network organization, incomplete contracts |
26 | Jonathan Wareham |
Dissolving firm boundaries through surveillance: incomplete contracts, information assets, and process integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the Nineteenth International Conference on Information Systems, ICIS 1998, Helsinki, Finland, December 13-16, 1998, pp. 253-262, 1998, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
interorganizational systems, economic theory, incomplete contracts |
26 | Jonathan Wareham, Niels Bjørn-Andersen, Peter Neergaard |
Reinterpreting the demise of hierarchy: a case study in IT, empowerment, and incomplete contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the Eighteenth International Conference on Information Systems, Atlanta, Georgia, USA, December 15-17, 1997, pp. 315-330, 1997, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
incentive structures, hierarchies, reengineering, empowerment, organization theory, economic theory, incomplete contracts |
25 | Dominik Hurnaus, Herbert Prähofer |
Programming assistance based on contracts and modular verification in the automation domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2544-2551, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
automation software, domain-specific language, end-user programming, component-based systems |
25 | Cristian Prisacariu, Gerardo Schneider |
: An Action-Based Logic for Reasoning about Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 335-349, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Javier-Alfonso Espinosa-Oviedo, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet |
Non-functional properties and services coordination using contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 307-310, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reliable services-coordination, contract, non-functional properties |
25 | Jordi Cabot, Robert Clarisó, Daniel Riera |
Verifying UML/OCL Operation Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 40-55, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Giuseppe Castagna, Luca Padovani |
Contracts for Mobile Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 211-228, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Andrés Vignaga, Daniel Perovich, M. Cecilia Bastarrica |
Extracting Object Interactions Out of Software Contracts Using Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings, pp. 245-259, 2008, Springer, 978-3-540-69926-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Elliot Anshelevich, Gordon T. Wilfong |
Network Formation and Routing by Strategic Agents Using Local Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings, pp. 386-393, 2008, Springer, 978-3-540-92184-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Christoffer Norvik, John P. Morrison, Dan C. Marinescu, Chen Yu 0005, Gabriela M. Marinescu, Howard Jay Siegel |
Managing Contracts in Pleiades Using Trust Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings, pp. 470-480, 2008, Springer, 978-3-540-69294-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Will Archer, Philip Alexander Levis, John Regehr |
Interface contracts for TinyOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 6th International Conference on Information Processing in Sensor Networks, IPSN 2007, Cambridge, Massachusetts, USA, April 25-27, 2007, pp. 158-165, 2007, ACM, 978-1-59593-638-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, validation, automated testing, TinyOS, design by contract |
25 | Cristian Prisacariu, Gerardo Schneider |
A Formal Language for Electronic Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 174-189, 2007, Springer, 978-3-540-72919-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Mari Nyrhinen, Tomi Dahlberg |
Is Transaction Cost Economics Theory Able to Explain Contracts Used for and Success of Firm-Wide IT-Infrastructure Outsourcing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 240, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal |
An Automated Approach to System Testing Based on Scenarios and Operations Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, pp. 256-261, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Anna Queralt, Ernest Teniente |
Specifying the Semantics of Operation Contracts in Conceptual Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics VII, pp. 33-56, 2006, Springer, 3-540-46329-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 915-918, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Donglin Liang, Kai Xu 0002 |
Testing Scenario Implementation with Behavior Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, pp. 395-402, 2006, IEEE Computer Society, 0-7695-2655-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Marc Lohmann, Gregor Engels, Stefan Sauer 0001 |
Model-driven Monitoring: Generating Assertions from Visual Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, pp. 355-356, 2006, IEEE Computer Society, 0-7695-2579-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Ioan Alfred Letia, Adrian Groza |
Running Contracts with Defeasible Commitment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Proceedings, pp. 91-100, 2006, Springer, 3-540-35453-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Multi-agent systems, Autonomous agents, Internet applications |
25 | Marcelo Fantinato, Maria Beatriz Felgar de Toledo, Itana Maria de Souza Gimenes |
A Feature-based Approach to Electronic Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC/EEE ![In: Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2006) and Workshops, 26-29 June 2006, Palo Alto, California, USA, pp. 34, 2006, IEEE Computer Society, 0-7695-2511-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yishai A. Feldman, Leon Gendler |
Discern: Towards the Automatic Discovery of Software Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India, pp. 90-99, 2006, IEEE Computer Society, 0-7695-2678-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani |
A Formal Account of Contracts for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 148-162, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Timothy S. Gegg-Harrison |
Constructing contracts: Making discrete mathematics relevant to beginning programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Educ. Resour. Comput. ![In: ACM J. Educ. Resour. Comput. 5(2), pp. 3:1-3:28, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics |
25 | Hendrik J. G. Oberholzer, Martin S. Olivier |
Privacy Contracts as an Extension of Privacy Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 21st International Conference on Data Engineering Workshops, ICDE 2005, 5-8 April 2005, Tokyo, Japan, pp. 1192, 2005, IEEE Computer Society, 0-7695-2657-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Judita Kruse, Clive Thomsen, Rolf Ernst, Thomas Volling, Thomas Spengler |
Introducing Flexible Quantity Contracts into Distributed SoC and Embedded System Design Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 938-943, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Bertrand Meyer 0001 |
Doing More with Contracts: Towards Automatic Tests and Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers, pp. 1, 2005, Springer, 3-540-34063-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer 0001 |
Can Aspects Implement Contracts?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers, pp. 145-157, 2005, Springer, 3-540-34063-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Vladimir A. Fomichov |
Standard K-Languages as a Powerful and Flexible Tool for Building Contracts and Representing Contents of Arbitrary E-Negotiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies: 6th International Conference, EC-Web 2005, Copenhagen, Denmark, August 23-26, 2005, Proceedings, pp. 138-147, 2005, Springer, 3-540-28467-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Guido Governatori, Duy Hoang |
A Semantic Web Based Architecture for e-Contracts in Defeasible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings, pp. 145-159, 2005, Springer, 3-540-29922-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Nele Smeets, Eric Steegmans |
A Methodology for Writing Class Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings, pp. 418-422, 2005, Springer, 3-540-24302-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Odorico von Susani, Philippe Dugerdil |
Cross-Organizational Service Maintenance Using Temporal Availability Specification and Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary, pp. 230-239, 2005, IEEE Computer Society, 0-7695-2368-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
service maintenance, temporal availability, workflow, e-business, e-contracting, cross-organizational |
25 | Aida Jertila, Mareike Schoop |
Electronic Contracts in Negotiation Support Systems: Challenges, Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: 7th IEEE International Conference on E-Commerce Technology (CEC 2005), 19-22 July 2005, München, Germany, pp. 396-399, 2005, IEEE Computer Society, 0-7695-2277-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Frank A. Zdarsky, Jens B. Schmitt |
Enhancing mobile QoS based on movement contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWQoS ![In: Quality of Service - IWQoS 2004, 12th International Workshop, Montreal, Canada, June 7-9, 2004, Proceedings, pp. 3-9, 2004, IEEE, 0-7803-8277-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Florence Maraninchi, Lionel Morel |
Arrays and Contracts for the Specification and Analysis of Regular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, pp. 57-66, 2004, IEEE Computer Society, 0-7695-2077-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Clemens Kerer, Engin Kirda |
XGuide - Concurrent Web Engineering with Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings, pp. 88-92, 2004, Springer, 3-540-22511-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Guido Boella, Leendert W. N. van der Torre |
Contracts as Legal Institutions in Organizations of Autonomous Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 948-955, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson |
Studying program correctness by constructing contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2003, Thessaloniki, Greece, June 30 - July 2, 2003, pp. 129-133, 2003, ACM, 1-58113-672-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Java, design by contract, axiomatic semantics |
25 | Peter F. Linington, Stephen W. Neal |
Using Policies in the Checking of Business to Business Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 4-6 June 2003, Lake Como, Italy, pp. 207-218, 2003, IEEE Computer Society, 0-7695-1933-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 4935 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|