Search results

Create the page "Specification and design languages" on this wiki! See also the search results found.

• TACAS 2009
  |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems ...t to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.
  4 KB (543 words) - 16:39, 16 July 2020
• EICS 2009
  ...be on 15�??17 July. Submissions are solicited on a wide range of topics and themes relating to the engineering of usable interactive computer systems. ...HCI, Software Engineering, Requirements Engineering, CSCW, and Ubiquitous and Pervasive Systems.
  4 KB (575 words) - 14:56, 27 December 2015
• PODS 2009
  ...ion, original research papers providing new insights in the specification, design, or implementation of data management tools are called for. ...ogic; multimedia; physical design; privacy; quantitative approaches; query languages; query optimization; real-time data; recovery; scientific data; security; s
  3 KB (457 words) - 13:09, 7 December 2016
• AAMAS 2020
  |Title=19th International Conference on Autonomous Agents and Multi Agent Systems ...onference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
  6 KB (659 words) - 17:41, 11 February 2021
• SEKE 2008
  |Title=The 20th International Conference on Software Engineering and Knowledge Engineering The Twentieth International Conference on Software Engineering and Knowledge Engineering (SEKE'08) will be held at Hotel Sofitel, Redwood City
  6 KB (733 words) - 12:48, 27 October 2016
• SOFSEM 2009
  |Title=Current Trends in Theory and Practice of Computer Science Current Trends in Theory and Practice of Computer Science
  6 KB (682 words) - 10:18, 14 April 2020
• SBMF 2009
  CALL FOR PAPERS AND TUTORIALS dissemination of the development and use of formal methods for the
  7 KB (1,094 words) - 11:42, 29 September 2016
• FCT 2009
  ...alysis of algorithms; computational complexity; approximation, randomized, and ...uting; circuits and boolean functions; online algorithms; machine learning and artificial
  2 KB (282 words) - 11:28, 21 April 2021
• DATE 2010
  | Title = Design, Automation & Test in Europe Conference and Exhibition: March 8-12, 2010
  5 KB (605 words) - 15:11, 27 December 2015
• ICIMP 2010
  |Title=The Fifth International Conference on Internet Monitoring and Protectio ICIMP 2010: The Fifth International Conference on Internet Monitoring and Protection
  14 KB (1,651 words) - 15:56, 15 February 2017
• ICALP 2020
  |Title=International Colloquium on Automata Languages and Programming The 47th International Colloquium on Automata, Languages and Programming (ICALP) 2020
  4 KB (602 words) - 06:44, 26 August 2020
• ESEC/FSE 2020
  |Title=ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering '''27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)''' (ESEC 20
  6 KB (738 words) - 11:21, 6 July 2020
• OPODIS 2019
  ...the scope of OPODIS, including theory, specification, design, performance, and system building. With strong roots in the theory of distributed systems. ...actical implementations of distributed systems, as well as experimentation and quantitative assessments.
  2 KB (299 words) - 11:51, 8 April 2020
• SAM 2016
  |Title=9th System Analysis and Modelling Conference |Series=System Analysis and Modeling
  2 KB (266 words) - 09:07, 2 May 2016
• ICKSE 2016
  |Title=18th International Conference on Knowledge and Software Engineering ...he conference will bring together leading academic scientists, researchers and scholars in the domain of interest from around the world. Topics of interes
  3 KB (352 words) - 06:14, 20 September 2016
• SEKE 2017
  The Twenty-Ninth International Conference on Software Engineering and Knowledge Engineering (SEKE 2017) will be held at the Wyndham Pittsburgh Un ...ata and software engineering & knowledge engineering. Submission of papers and demos are both welcome.
  18 KB (2,288 words) - 12:48, 27 October 2016
• OPODIS 2017
  distributed computing and distributed computer systems. All aspects of theory, specification, design, performance, and system building.
  7 KB (1,009 words) - 15:54, 3 September 2019
• ISEC 2018
  We invite technical papers describing original and unpublished results of foundational, theoretical, empirical, and applied software and systems
  8 KB (1,150 words) - 10:11, 7 August 2019
• ICEIS 2018
  In Cooperation with: IEICE, SWIM and AAAI INSTICC is Member of: OMG and WfMC
  6 KB (818 words) - 13:40, 3 September 2017
• ZEUS 2014
  |Field=, services computing,SOA,process modeling,choreography and orchestration ...t the Hasso Plattner Institute at the University of Potsdam on February 20 and 21, 2014.
  7 KB (910 words) - 10:36, 26 November 2017

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)