Search results

Jump to: navigation, search

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
  • ZEUS 2018
    ...es on the discussion of fresh ideas, the presentation of work in progress, and the establishment of a scientific network between young researchers in the ...calls for contributions in the field of Cloud computing, RESTful services, and microservices.
    4 KB (565 words) - 18:34, 4 July 2020
  • ZEUS 2015
    |Field=, services computing,SOA,process modeling,choreography and orchestration The 7th Central-European Workshop on Services and their Composition (ZEUS 2015)
    7 KB (1,046 words) - 10:36, 26 November 2017
  • FASE 2019
    ...nt of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all s ...gineering discipline, including its interaction with and impact on society and economics;
    2 KB (301 words) - 14:34, 4 June 2019
  • CENICS 2021
    |Title=International Conference on Advances in Circuits, Electronics and Micro-electronics ...ll structured mobile networks; Heterogeneous optical networks; 5G wireless and mm-Wave systems; Cognitive radars; Signal processing for crowd dynamics; Sm
    5 KB (556 words) - 15:23, 14 January 2021
  • SEKE 2018
    |Title=30th International Conference on Software Engineering and Knowledge Engineering ...ART COMPLETELY - You can just paste in the call for papers and remove this and the last line
    5 KB (608 words) - 13:03, 15 April 2020
  • ICAS 2020
    |Title=The Sixteenth International Conference on Autonomic and Autonomous Systems ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    16 KB (1,897 words) - 12:31, 18 May 2020
  • WEB 2020
    |Title=The Eighth International Conference on Building and Exploring Web Based Environments ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    11 KB (1,390 words) - 12:35, 18 May 2020
  • EMAS 2020
    ...niques and methodologies have been proposed in the literature, researchers and developers are still faced with fundamental questions attaining MAS enginee * How to specify, design, implement, verify, test, validate and evolve MAS?
    8 KB (1,092 words) - 12:49, 22 April 2020
  • EMAS 2018
    Co-located with IJCAI/ECAI, AAMAS, and ICML 2018 ...t systems, declarative agent languages and technologies, machine learning, and AI in general.
    6 KB (863 words) - 15:29, 18 June 2020
  • SEKE 2016
    |Title=28th International Conference on Software Engineering and Knowledge Engineering * Embedded and ubiquitous software engineering
    4 KB (490 words) - 09:38, 23 April 2020
  • ICIMP 2020
    |Title=The Fifteenth International Conference on Internet Monitoring and Protection With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
    17 KB (2,088 words) - 12:49, 14 June 2020
  • ICALP 2019
    |Title=46th International Colloquium on Automata, Languages, and Programming The 46th International Colloquium on Automata, Languages, and Programming (ICALP) 2019
    4 KB (556 words) - 06:42, 26 August 2020
  • ASE 2017
    |Has host organization=Institute of Electrical and Electronics Engineers ...2017 invites high quality contributions describing significant, original, and unpublished results. Solicited topics include, but are not limited to:
    5 KB (557 words) - 07:07, 13 July 2020
  • ICCGI 2020
    ...,"Security in network, systems, and applications","IPv6 Today - Technology and deployment" With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
    18 KB (2,036 words) - 02:36, 10 July 2020
  • ICSEA 2020
    1. The submission deadlines (and other dates such as notification and camera ready) are rather flexible in order to account for possibly limited ...erence, authors will be able to present their work via pre-recorded videos and/or conference calls (in case they opt to avoid travel).
    13 KB (1,573 words) - 12:00, 10 July 2020
  • CENICS 2020
    |Title=International Conference on Advances in Circuits, Electronics and Micro-electronics ...e Thirteenth International Conference on Advances in Circuits, Electronics and Micro-electronics
    8 KB (908 words) - 15:13, 14 January 2021
  • ACHI 2020
    With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences 1. The submission deadlines (and other dates such as notification and camera ready) are rather flexible in order to account for possibly limited
    16 KB (1,964 words) - 13:34, 7 January 2021
  • SOFTENG 2021
    |Title=The Seventh International Conference on Advances and Trends in Software Engineering Please consider to contribute to and/or forward to the appropriate
    12 KB (1,505 words) - 20:38, 22 November 2020
  • ICAS 2021
    |Title=ICAS 2021, The Seventeenth International Conference on Autonomic and Autonomous Systems |Field=Autonomic and Autonomous Systems
    16 KB (1,874 words) - 12:15, 24 November 2020
  • ICIMP 2021
    |Title=The Sixteenth International Conference on Internet Monitoring and Protection ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    17 KB (2,035 words) - 14:45, 18 February 2021
  • PATTERNS 2021
    ...TTERNS 2021, The Thirteenth International Conference on Pervasive Patterns and Applications |Field=Patterns and Applications
    8 KB (942 words) - 18:55, 8 December 2020
  • "ICAS 2021"
    |Title=The Seventeenth International Conference on Autonomic and Autonomous Systems |Field=Autonomic and Autonomous Systems
    16 KB (1,874 words) - 14:47, 10 February 2021
  • ICAS
    |Title=The Seventeenth International Conference on Autonomic and Autonomous Systems ...context-aware systems, Knowledge-based user interface, Adaptive management and mobility
    16 KB (1,956 words) - 11:50, 3 March 2021
  • FCT 2005
    * automata and formal languages * design and analysis of algorithms
    1 KB (156 words) - 12:17, 15 April 2021
  • FCT 2007
    *automata and formal languages *design and analysis of algorithms
    2 KB (245 words) - 11:54, 16 April 2021
  • FCT 2011
    * algorithm design and optimization * combinatorics and analysis of algorithms
    3 KB (324 words) - 12:01, 21 April 2021
  • FCT 2015
    * algorithm design and optimization * approximation, randomized, and heuristic methods
    3 KB (425 words) - 14:12, 22 April 2021
  • SOFTENG
    |Title=SOFTENG 2022, The Eighth International Conference on Advances and Trends in Software Engineering ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    13 KB (1,522 words) - 03:32, 3 December 2021
Retrieved from "https://www.openresearch.org/wiki/Special:Search"