Search results
Create the page "Specification and design languages" on this wiki! See also the search results found.
- |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
- ...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
- ...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; s3 KB (457 words) - 13:09, 7 December 2016
- |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
- |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 City6 KB (733 words) - 12:48, 27 October 2016
- |Title=Current Trends in Theory and Practice of Computer Science Current Trends in Theory and Practice of Computer Science6 KB (682 words) - 10:18, 14 April 2020
- CALL FOR PAPERS AND TUTORIALS dissemination of the development and use of formal methods for the7 KB (1,094 words) - 11:42, 29 September 2016
- ...alysis of algorithms; computational complexity; approximation, randomized, and ...uting; circuits and boolean functions; online algorithms; machine learning and artificial2 KB (282 words) - 11:28, 21 April 2021
- | Title = Design, Automation & Test in Europe Conference and Exhibition: March 8-12, 20105 KB (605 words) - 15:11, 27 December 2015
- |Title=The Fifth International Conference on Internet Monitoring and Protectio ICIMP 2010: The Fifth International Conference on Internet Monitoring and Protection14 KB (1,651 words) - 15:56, 15 February 2017
- |Title=International Colloquium on Automata Languages and Programming The 47th International Colloquium on Automata, Languages and Programming (ICALP) 20204 KB (602 words) - 06:44, 26 August 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 206 KB (738 words) - 11:21, 6 July 2020
- ...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
- |Title=9th System Analysis and Modelling Conference |Series=System Analysis and Modeling2 KB (266 words) - 09:07, 2 May 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 interes3 KB (352 words) - 06:14, 20 September 2016
- 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
- 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
- We invite technical papers describing original and unpublished results of foundational, theoretical, empirical, and applied software and systems8 KB (1,150 words) - 10:11, 7 August 2019
- In Cooperation with: IEICE, SWIM and AAAI INSTICC is Member of: OMG and WfMC6 KB (818 words) - 13:40, 3 September 2017
- |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
- ...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
- |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
- ...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
- |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; Sm5 KB (556 words) - 15:23, 14 January 2021
- |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 line5 KB (608 words) - 13:03, 15 April 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
- |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
- ...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
- 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
- |Title=28th International Conference on Software Engineering and Knowledge Engineering * Embedded and ubiquitous software engineering4 KB (490 words) - 09:38, 23 April 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 conferences17 KB (2,088 words) - 12:49, 14 June 2020
- |Title=46th International Colloquium on Automata, Languages, and Programming The 46th International Colloquium on Automata, Languages, and Programming (ICALP) 20194 KB (556 words) - 06:42, 26 August 2020
- |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
- ...,"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 conferences18 KB (2,036 words) - 02:36, 10 July 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
- |Title=International Conference on Advances in Circuits, Electronics and Micro-electronics ...e Thirteenth International Conference on Advances in Circuits, Electronics and Micro-electronics8 KB (908 words) - 15:13, 14 January 2021
- 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 limited16 KB (1,964 words) - 13:34, 7 January 2021
- |Title=The Seventh International Conference on Advances and Trends in Software Engineering Please consider to contribute to and/or forward to the appropriate12 KB (1,505 words) - 20:38, 22 November 2020
- |Title=ICAS 2021, The Seventeenth International Conference on Autonomic and Autonomous Systems |Field=Autonomic and Autonomous Systems16 KB (1,874 words) - 12:15, 24 November 2020
- |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
- ...TTERNS 2021, The Thirteenth International Conference on Pervasive Patterns and Applications |Field=Patterns and Applications8 KB (942 words) - 18:55, 8 December 2020
- |Title=The Seventeenth International Conference on Autonomic and Autonomous Systems |Field=Autonomic and Autonomous Systems16 KB (1,874 words) - 14:47, 10 February 2021
- |Title=The Seventeenth International Conference on Autonomic and Autonomous Systems ...context-aware systems, Knowledge-based user interface, Adaptive management and mobility16 KB (1,956 words) - 11:50, 3 March 2021
- * automata and formal languages * design and analysis of algorithms1 KB (156 words) - 12:17, 15 April 2021
- *automata and formal languages *design and analysis of algorithms2 KB (245 words) - 11:54, 16 April 2021
- * algorithm design and optimization * combinatorics and analysis of algorithms3 KB (324 words) - 12:01, 21 April 2021
- * algorithm design and optimization * approximation, randomized, and heuristic methods3 KB (425 words) - 14:12, 22 April 2021
- |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