|
|
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 |
25 | 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. ![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. 363-376, 2002, Springer, 3-540-44137-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Brian Shand, Jean Bacon |
Policies in Accountable Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 5-7 June 2002, Monterey, CA, USA, pp. 80-91, 2002, IEEE Computer Society, 0-7695-1611-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Claus Pahl |
Components, Contracts, and Connectors for the Unified Modelling Language UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 259-277, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Charles Herring, Zoran Milosevic |
Implementing B2B Contracts using BizTalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Runge, Bernd Schopp, Katarina Stanoevska-Slabeva |
The Management of Business Transactions through Electronic Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 824-831, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Yao-Hua Tan, Walter Thoen |
Modeling Directed Obligations and Permissions in Trade Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 166-175, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Carine Lucas, Patrick Steyaert, Kim Mens |
Managing Software Evolution through Reuse Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 17-19 March 1997, Berlin, Germany, pp. 165-170, 1997, IEEE Computer Society, 0-8186-7892-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Steven Brower |
Function Design Document: Toward better documentation for data processing contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 1st Annual International Conference on Systems Documentation, SIGDOC 1982, Carson, California, USA, January 22-23, 1982, pp. 9-12, 1982, ACM, 0-89791-080-X. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
23 | Vasilios Andrikopoulos, Salima Benbernou, Mike P. Papazoglou |
Evolving Services from a Contractual Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings, pp. 290-304, 2009, Springer, 978-3-642-02143-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
service evolution, contract invariance, contract evolution, compatibility, service contracts |
23 | Tayeb Bouhadiba, Florence Maraninchi |
Contract-Based Coordination of Hardware Components for the Development of Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 204-224, 2009, Springer, 978-3-642-02052-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Executable Contracts, Embedded Systems, Components, Simulation Models, Hardware/Software Interface |
23 | Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel |
Automatic Test Generation: A Use Case Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(3), pp. 140-155, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, test generation, scenarios, Use case, contracts |
23 | Cormac Flanagan |
Hybrid type checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 245-256, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
dynamic checking, type systems, contracts, static checking |
23 | Paul Laskowski, John Chuang |
Network monitors and contracting systems: competition and innovation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2006 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Pisa, Italy, September 11-15, 2006, pp. 183-194, 2006, ACM, 1-59593-308-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
commoditization, monitoring, innovation, contracts, incentives |
23 | Moshe Babaioff, Michal Feldman, Noam Nisan |
Combinatorial agency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 7th ACM Conference on Electronic Commerce (EC-2006), Ann Arbor, Michigan, USA, June 11-15, 2006, pp. 18-28, 2006, ACM, 1-59593-236-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
price of unaccountability, principal-agent model, mechanism design, contracts, incentives, agency theory, hidden-action, moral hazard |
23 | Jifeng He 0001, Xiaoshan Li, Zhiming Liu 0001 |
Component-Based Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 70-95, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Simulation, Protocols, Components, Interfaces, Composition, Refinement, Consistency, Contracts, Functionality |
23 | Havard Meland, Rolf Petter Waage, Maung K. Sein |
The other side of turnover: managing IT personnel strategically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2005 ACM SIGMIS CPR conference on Computer personnel research 2005, Atlanta, Georgia, USA, April 14-16, 2005, pp. 67-74, 2005, ACM, 1-59593-011-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
re-recruitment, human resources, turnover, theory of planned behavior, IS personnel, psychological contracts |
23 | Roger S. Barga, David B. Lomet, German Shegalov, Gerhard Weikum |
Recovery guarantees for Internet applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Internet Techn. ![In: ACM Trans. Internet Techn. 4(3), pp. 289-328, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Exactly-once execution, application recovery, interaction contracts, communication protocols |
23 | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
CSSV: towards a realistic tool for statically detecting all buffer overflows in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 155-167, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, error detection, contracts, buffer overflow |
23 | Alan S. Abrahams, David M. Eyers, Jean Bacon |
An asynchronous rule-based approach for business process automation using obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Workshop on Rule-Based Programming ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002, pp. 93-103, 2002, ACM, 1-58113-606-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
policies, contracts, conflict resolution, conflict detection |
23 | Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt |
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, pp. 854-863, 2002, Springer, 3-540-43593-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
component protocol specifications, automatic component adaptation, parameterised contracts, distributed middleware platforms, architectural description languages |
23 | Yigal Hoffner, Heiko Ludwig, Paul W. P. J. Grefen, Karl Aberer |
CrossFlow: integrating workflow management and electronic commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGecom Exch. ![In: SIGecom Exch. 2(1), pp. 1-10, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
dynamic business process outsourcing, dynamic infrastructure setup, electronic commerce, workflow management, contracts, electronic |
23 | Yao-Hua Tan, Walter Thoen |
DocLog: An Electronic Contract Representation Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 1069-1073, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
DocLog, electronic contract representation language, international trade regulations, international trade contracts, Internet, electronic commerce, small and medium sized enterprises, deontic logic, legislation, legal aspects, legal knowledge representation, global markets |
23 | Martin Lippert, Cristina Videira Lopes |
A study on exception detecton and handling using aspect-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 418-427, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, contracts, exceptions |
23 | Vaggelis Ouzounis, Volker Tschammer |
A Framework for Virtual Enterprise Support Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Contracts and Business Objects, Business Processes, Virtual Enterprises |
23 | Zoran Milosevic, David Arnold 0002, Luke O'Connor |
Inter-enterprise contract architecture for open distributed systems: security requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'96), June 19-21, 1996, Stanford, CA, USA, Proceedings, pp. 68-73, 1996, IEEE Computer Society, 0-8186-7445-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
inter-enterprise contract architecture, electronic inter-enterprise interactions, enforcement capability, business contracts, standard contract sequence reuse, public repository, binding, performance monitoring, security requirements, business communication, open distributed systems, distributed infrastructure |
23 | Zizhen Wang, Hanpin Wang, Naijun Zhan |
Refinement of models of software components. ![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. 2311-2318, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
CB-MDD, rCOS, trace refinement, data refinement |
23 | Manuel Fähndrich, Michael Barnett 0001, Francesco Logozzo |
Embedded contract languages. ![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. 2103-2110, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
CodeContracts, C#, NET |
23 | Piotr Kosiuczenko |
Redesign of UML class diagrams: a formal approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(2), pp. 165-183, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML, Formal methods, Refactoring, OCL, Requirements tracing |
23 | Sidney Rosario, Albert Benveniste, Claude Jard |
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. ![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. 107-114, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Georgiana Macariu, Vladimir Cretu |
Model-Based Analysis of Contract-Based Real-Time Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA, November 16-18, 2009, Proceedings, pp. 227-239, 2009, Springer, 978-3-642-10264-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Xuening Sun, Pierluigi Nuzzo 0002, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli |
Contract-based system-level composition of analog circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 605-610, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
integration, composition, contract, system, analog, UWB, platform, platform-based design, radio-frequency, assume-guarantee |
23 | Henrique Lopes Cardoso, Eugénio C. Oliveira |
Electronic institutions for B2B: dynamic normative environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 16(1), pp. 107-128, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multi-agent system, Contract, Norm, Electronic institution |
23 | Dumitru Roman, Michael Kifer |
Semantic Web Service Choreography: Contracting and Enactment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 550-566, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Hakim Belhaouari, Frédéric Peschanski |
A Lightweight Container Architecture for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers, pp. 173-187, 2008, Springer, 978-3-540-89246-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Martin Blom, Eivind J. Nordby, Anna Brunström |
An Experimental Evaluation of Documentation Methods and Reusability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: High Confidence Software Reuse in Large Systems, 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008, Proceedings, pp. 372-375, 2008, Springer, 978-3-540-68062-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini |
Verifying Atomicity Requirements of Services Coordination Using B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: Ninth Mexican International Conference on Computer Science, ENC 2008, 6-10 October 2008, Mexicali, Baja California, Mexico, pp. 238-248, 2008, IEEE Computer Society, 978-0-7695-3439-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Noura Faci, Sanjay Modgil, Nir Oren, Felipe Rech Meneguzzi, Simon Miles, Michael Luck |
Towards a Monitoring Framework for Agent-Based Contract Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIA ![In: Cooperative Information Agents XII, 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008. Proceedings, pp. 292-305, 2008, Springer, 978-3-540-85833-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Albert Benveniste |
Composing Web Services in an Open World: Issues of Quality of Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 14, 2008, Springer, 978-3-540-85777-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Yu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh |
ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 502-509, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Tamara Dahlgren |
Performance-Driven Interface Contract Enforcement for Scientific Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings, pp. 157-172, 2007, Springer, 978-3-540-73550-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen |
A Framework for Contract-Based Collaborative Verification and Validation of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings, pp. 258-273, 2007, Springer, 978-3-540-73550-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Contract-Based, Web Services, Verification and Validation |
23 | Mario Bravetti, Gianluigi Zavattaro |
Towards a Unifying Theory for Choreography Conformance and Contract Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 6th International Symposium, SC@ETAPS 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers, pp. 34-50, 2007, Springer, 978-3-540-77350-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Jahyun Goo, Kichan Nam |
Contract as a Source of Trust--Commitment in Successful IT Outsourcing Relationship: An Empirical Study. ![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. 239, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Oleg Gujo, Michael Schwind, Jens Vykoukal |
The Design of Incentives in a Combinatorial Exchange for Intra-Enterprise Logistics Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC/EEE ![In: 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2007), 23-26 July 2007, National Center of Sciences, Tokyo, Japan, pp. 443-446, 2007, IEEE Computer Society, 0-7695-2913-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Michel A. Oey, Reinier J. Timmer, David G. A. Mobach, Benno J. Overeinder, Frances M. T. Brazier |
WS-agreement based resource negotiation in AgentScape. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 267, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
agent-based negotiation, mobile agents, resource management, WS-agreements |
23 | T. S. E. Maibaum, Zhe (Jessie) Li |
A test framework for integration testing of object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, October 22-25, 2007, Richmond Hill, Ontario, Canada, pp. 252-255, 2007, IBM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego |
Constraint satisfaction techniques for diagnosing errors in design by contract software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(2), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Diagnosis, Design by Contract |
23 | Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel |
Design by Contract to Improve Software Vigilance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(8), pp. 571-586, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
programming by contract, metrics, diagnostics, Object-oriented design methods |
23 | Elliot Anshelevich, F. Bruce Shepherd, Gordon T. Wilfong |
Strategic Network Formation through Peering and Service Agreements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 21-24 October 2006, Berkeley, California, USA, Proceedings, pp. 77-86, 2006, IEEE Computer Society, 0-7695-2720-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Fritjof Boger Engelhardtsen, Andreas Prinz 0001 |
Application of Stuck-Free Conformance to Service-Role Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers, pp. 115-132, 2006, Springer, 3-540-68371-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Changzhou Wang, Guijun Wang, Haiqin Wang, Alice Chen, Rodolfo A. Santiago |
Quality of Service (QoS) Contract Specification, Establishment, and Monitoring for Service Level Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC Workshops ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, Workshops, pp. 49, 2006, IEEE Computer Society, 0-7695-2743-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Murat Karaorman, Parker Abercrombie |
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 27(3), pp. 275-312, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
jContractor, Java, Design by Contract, bytecode instrumentation |
23 | Sabyasachi Saha, Sandip Sen |
Aggressive Pricing to Exploit Market Niches in Supply Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 20(1), pp. 36-41, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pricing and scheduling strategies, wealth maximization, market niche, software agents, supply chain management |
23 | Wei Dong 0006, Ji Wang 0001 |
Contract-Based Formal Specification of Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 2, pp. 7-8, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Mohsen Rouached, Olivier Perrin 0001, Claude Godart |
A Contract Layered Architecture for Regulating Cross-Organisational Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings, pp. 410-415, 2005, 3-540-28238-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
e-contract modeling and analysis, event-based monitoring, business process management |
23 | Jomi Fred Hübner, Olivier Boissier, Jaime Simão Sichman |
Using a Multi-Agent Organization Description Language to describe contract dynamics in virtual enterprises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Compiegne, France, September 19-22, 2005, pp. 672-678, 2005, IEEE Computer Society, 0-7695-2416-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Vladimir Tosic, Bernard Pagurek |
On Comprehensive Contractual Descriptions of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EEE ![In: 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March - 1 April 2005, Hong Kong, China, pp. 444-449, 2005, IEEE Computer Society, 0-7695-2274-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Hervé Chang, Philippe Collet |
Fine-grained Contract Negotiation for Hierarchical Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August - 3 September 2005, Porto, Portugal, pp. 28-35, 2005, IEEE Computer Society, 0-7695-2431-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Fu-Shiung Hsieh |
Automated Negotiation Based on Contract Net and Petri Net. ![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. 148-157, 2005, Springer, 3-540-28467-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt |
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France, pp. 100-106, 2004, IEEE Computer Society, 0-7695-2199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Dongjun Wu, Min Ding 0002, Lorin M. Hitt |
Learning in ERP Contracting: A Principal-Agent Analysis. ![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 |
|
23 | Stephen W. Neal, James B. Cole, Peter F. Linington, Zoran Milosevic, Simon Gibson, Sachin Kulkarni |
Identifying requirements for Business Contract Language: a Monitoring Perspectiv. ![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. 50-61, 2003, IEEE Computer Society, 0-7695-1994-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Mehdi Aboulfadl, Aparna Gupta, Ritesh Pradhan, Shivkumar Kalyanaraman |
Asset price modeling: a spot pricing framework to enable pricing and risk management of inter-domain assured bandwidth services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 1515-1523, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade 0001, José Luiz Fiadeiro |
The Coordination Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 323-326, 2002, Springer, 3-540-43353-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Christopher L. Barrett, Doug Cook, Gregory Hicks, Vance Faber, Achla Marathe, Madhav V. Marathe, Aravind Srinivasan, Yoram J. Sussmann, Heidi Thornquist |
Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAE ![In: Algorithm Engineering, 5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001, Proceedings, pp. 172-184, 2001, Springer, 3-540-42500-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Jim Dowling, Vinny Cahill |
The K-Component Architecture Meta-model for Self-Adaptive Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reflection ![In: Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings, pp. 81-88, 2001, Springer, 3-540-42618-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Rüdiger Grimm, Peter Ochsenschläger |
Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 15(4), pp. 182-192, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Elektronischer Vertrag, verbindliche Phase, Verpflichtung, Kooperationsziel, Sog in das Ziel, Beweis, Verifikation, Theorie formaler Sprachen, formales Modell |
23 | Andreas Rausch |
A Proposal for Supporting Software Evolution in Componentware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 4th European Conference on Software Maintenance and Reengineering, CSMR 2000, Zurich, Switzerland, February 29 - March 3, 2000., pp. 109-118, 2000, IEEE Computer Society, 0-7695-0546-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Dongjun Wu, Paul Kleindorfer, Jin E. Zhang |
Optimal Bidding and Contracting Strategies in the Deregulated Electric Power Market: Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour |
Component-Based Development? Refining the Blueprint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (34) ![In: TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA, pp. 563-, 2000, IEEE Computer Society, 0-7695-0774-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | David Konopnicki, Lior Leiba, Oded Shmueli, Yehoshua Sagiv |
A Formal Yet Practical Approach to Electronic Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, Edinburgh, Scotland, USA, September 2-4, 1999, pp. 197-208, 1999, IEEE Computer Society, 0-7695-0384-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Martin Andersson, Tuomas Sandholm |
Leveled Commitment Contracting among Myopic Individually Rational Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMAS ![In: Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, Paris, France, July 3-7, 1998, pp. 26-33, 1998, IEEE Computer Society, 0-8186-8500-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Soroush Farokhnia |
Lazy Contracts: Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.11317, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas G. Veneris, Aron Laszka |
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(4), pp. 3110-3127, July - August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Sendner, Huili Chen, Hossein Fereidooni, Lukas Petzi, Jan König, Jasper Stang, Alexandra Dmitrienko, Ahmad-Reza Sadeghi, Farinaz Koushanfar |
Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 30th Annual Network and Distributed System Security Symposium, NDSS 2023, San Diego, California, USA, February 27 - March 3, 2023, 2023, The Internet Society. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Liwei Ouyang, Wenwen Zhang, Fei-Yue Wang 0001 |
Intelligent contracts: Making smart contracts smart for blockchain intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 104(Part), pp. 108421, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Massimiliano Vatiero |
Smart contracts vs incomplete contracts: A transaction cost economics viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 46, pp. 105710, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Thibaut Le Guilly, Nadav Kohen, Ichiro Kuwahara |
Bitcoin Oracle Contracts: Discreet Log Contracts in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBC ![In: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2022, Shanghai, China, May 2-5, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-9538-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Giacomo Ibba |
A smart contracts repository for top trending contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETSEB@ICSE ![In: Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB@ICSE 2022, Pittsburgh, Pennsylvania, 19 May 2022, pp. 17-20, 2022, ACM, 978-1-4503-9331-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Christof Ferreira Torres |
From Smart to Secure Contracts: Automated Security Assessment and Improvement of Ethereum Smart Contracts. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
21 | Ilhaam A. Omar, Raja Jayaraman, Mazin Debe, Khaled Salah 0001, Ibrar Yaqoob, Mohammed A. Omar |
Automating Procurement Contracts in the Healthcare Supply Chain Using Blockchain Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 37397-37409, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Chi-Chun Chou, Nen-Chen Richard Hwang, Gary P. Schneider, Tawei Wang, Chang-Wei Li, William Wei |
Using Smart Contracts to Establish Decentralized Accounting Contracts: An Example of Revenue Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Syst. ![In: J. Inf. Syst. 35(3), pp. 17-52, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Kritagya Upadhyay, Ram Dantu, Yanyan He, Abiola Salau, Syed Badruddoja |
Paradigm Shift from Paper Contracts to Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPS-ISA ![In: 3rd IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications, TPS-ISA 2021, Atlanta, GA, USA, December 13-15, 2021, pp. 261-268, 2021, IEEE, 978-1-6654-1623-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Kayo Iizuka, Chihiro Suematsu |
Psychological Contracts in Business Process Transformation Effect: Structure of Psychological Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: Proceedings of the 23rd International Conference on Enterprise Information Systems, ICEIS 2021, Online Streaming, April 26-28, 2021, Volume 2., pp. 429-435, 2021, SCITEPRESS, 978-989-758-509-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Roland Kromes |
Designing a specific Low Power architecture for blockchain and Smart Contracts operations in IoT platform. (Conception d'une architecture spécifique Low Power pour les accès blockchain et Smart Contracts des plateformes IoT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
21 | Jan Ladleif |
Enforceability aspects of smart contracts on blockchain networks (Aspekte der Durchsetzung von Smart Contracts in Blockchain-Netzwerken) (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
21 | Massimo Bartoletti |
Smart Contracts Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Blockchain ![In: Frontiers Blockchain 3, pp. 27, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Maria G. Vigliotti |
What Do We Mean by Smart Contracts? Open Challenges in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Blockchain ![In: Frontiers Blockchain 3, pp. 553671, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Masanari Kondo, Gustavo Ansaldi Oliva, Zhen Ming (Jack) Jiang, Ahmed E. Hassan, Osamu Mizuno |
Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 25(6), pp. 4617-4675, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Lu-Chi Liu, Giovanni Sileno, Tom M. van Engers |
Digital Enforceable Contracts (DEC): Making Smart Contracts Smarter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JURIX ![In: Legal Knowledge and Information Systems - JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9-11, 2020, pp. 235-238, 2020, IOS Press, 978-1-64368-150-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Lars Creutz, Guido Dartmann |
Cypher Social Contracts A Novel Protocol Specification for Cyber Physical Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iThings/GreenCom/CPSCom/SmartData/Cybermatics ![In: 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics), iThings/GreenCom/CPSCom/SmartData/Cybermatics 2020, Rhodes Island, Greece, November 2-6, 2020, pp. 440-447, 2020, IEEE, 978-1-7281-7647-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Giorgia Lallai, Andrea Pinna 0002, Michele Marchesi, Roberto Tonelli |
Software Engineering for DApp Smart Contracts Managing Workers Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT@ITASEC ![In: Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with ITASEC 2020, Ancona, Italy, February 4, 2020., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Jonathan Grey, Isuru S. Godage, Oshani Seneviratne |
Swarm Contracts: Smart Contracts in Robotic Swarms with Varying Agent Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Blockchain ![In: IEEE International Conference on Blockchain, Blockchain 2020, Rhodes, Greece, November 2-6, 2020, pp. 265-272, 2020, IEEE, 978-0-7381-0495-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Elodie Adida, Fernanda Bravo |
Contracts for Healthcare Referral Services: Coordination via Outcome-Based Penalty Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 65(3), pp. 1322-1341, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Pauline Debono |
Transforming Public Procurement Contracts Into Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Technol. Proj. Manag. ![In: Int. J. Inf. Technol. Proj. Manag. 10(2), pp. 16-28, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Gregor Nitsche |
Structural Contracts - Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.11606, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | T. J. de Graaf |
From old to new: From internet to smart contracts and from people to smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 35(5), pp. 105322, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Hoffmann 0005, Volker Skwarek |
Blockchain, Smart Contracts und Recht - Smart Contracts als Risiko für Informatiker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 42(3), pp. 197-204, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Marcelle von Wendland |
Smart contracts that are smart and can function as legal contracts - A Review of Semantic Blockchain and Distributed Ledger Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.01279, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Luca Di Corato, Cesare Dosi, Michele Moretto |
Multidimensional auctions for long-term procurement contracts with early-exit options: The case of conservation contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 267(1), pp. 368-380, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 4935 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|