FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2991058848> ?p ?o ?g. }

• W2991058848 abstract "The aim of the workshop is to bring together researchers and practitioners, in the areas of verification, control, performance, Quality of Service and dependability evaluation and assessment, to discuss the state of the art for solving the challenges facing us today in various modern computer and communication systems in which functional and non functional properties are strongly mixed. Thus, the main motivation for VECoS is to encourage the cross-fertilisation between verification and evaluation approaches, methods and techniques especially those based on the specification formalisms for concurrent systems (i.e. process algebras, transition systems, automata networks, Petri nets, rewrite logic... etc). The International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS) continues its mission as one of the leading forum for the presentation of all aspects of verification, performance modelling and analysis of computer and communication systems. The first edition was held in Algiers, Algeria (2007). This year's edition is held in Leeds, United Kingdom. VECoS offers a unique forum for researchers and practitioners from academia to share their expertise results and achievements in all areas of verification and performance evaluation of computer and communication systems including analytic modelling, simulation and measurements. This year's programme consists of six regular paper sessions and four invited talks. Various topics are covered in the programme and include Petri nets, model checking, and wireless sensor networks. These proceedings record the contributions from the invited speakers and from the technical sessions. We present four invited papers, nineteen technical papers, selected out of submissions from sixteen laboratories. We have been delighted by the overwhelming response from the international community of computer and communication systems to our call for papers. The workshop attracted a large number of high quality papers from many countries. Once again we welcome back our colleagues from Tunisia, Morocco, Algeria, France, Italy, Canada, and the United Kingdom. The programme committee includes researchers from forty laboratories. Each paper submitted was evaluated by at least three reviewers. After the evaluation, reports were returned to the programme committee for discussion and resolution of conflicts. Based on their recommendations, we implemented a consensus process, and selected the nineteen papers that we present here. We are grateful to all members of the programme committee, the organising committee and to all referees for their hard work. The support and encouragement of the steering committee were invaluable assets. Without the support of our institutions, VECoS2008 could not have been a reality. Their recognition of the importance of this event is greatly appreciated. Finally, we would like to thank all the authors of the invited and submitted papers, and all participants at the Workshop. They are the main focus of VECoS. We would also like to thank the School of Computing at the University of Leeds for hosting the event. Rahma Ben Ayed and Karim Djemame VECoS'2008 Co-Chairs Leeds, July 2008" @default.
• W2991058848 created "2019-12-05" @default.
• W2991058848 creator A5046398046 @default.
• W2991058848 creator A5050443319 @default.
• W2991058848 date "2008-01-01" @default.
• W2991058848 modified "2023-09-25" @default.
• W2991058848 title "Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008) - Index" @default.
• W2991058848 doi "https://doi.org/10.14236/ewic/vecos2008.0" @default.
• W2991058848 hasPublicationYear "2008" @default.
• W2991058848 type Work @default.
• W2991058848 sameAs 2991058848 @default.
• W2991058848 citedByCount "0" @default.
• W2991058848 crossrefType "proceedings-article" @default.
• W2991058848 hasAuthorship W2991058848A5046398046 @default.
• W2991058848 hasAuthorship W2991058848A5050443319 @default.
• W2991058848 hasBestOaLocation W29910588481 @default.
• W2991058848 hasConcept C110251889 @default.
• W2991058848 hasConcept C110354214 @default.
• W2991058848 hasConcept C115903868 @default.
• W2991058848 hasConcept C126838900 @default.
• W2991058848 hasConcept C127413603 @default.
• W2991058848 hasConcept C171018156 @default.
• W2991058848 hasConcept C199360897 @default.
• W2991058848 hasConcept C2524010 @default.
• W2991058848 hasConcept C2777601897 @default.
• W2991058848 hasConcept C33923547 @default.
• W2991058848 hasConcept C38677869 @default.
• W2991058848 hasConcept C41008148 @default.
• W2991058848 hasConcept C71924100 @default.
• W2991058848 hasConcept C77019957 @default.
• W2991058848 hasConcept C98045186 @default.
• W2991058848 hasConceptScore W2991058848C110251889 @default.
• W2991058848 hasConceptScore W2991058848C110354214 @default.
• W2991058848 hasConceptScore W2991058848C115903868 @default.
• W2991058848 hasConceptScore W2991058848C126838900 @default.
• W2991058848 hasConceptScore W2991058848C127413603 @default.
• W2991058848 hasConceptScore W2991058848C171018156 @default.
• W2991058848 hasConceptScore W2991058848C199360897 @default.
• W2991058848 hasConceptScore W2991058848C2524010 @default.
• W2991058848 hasConceptScore W2991058848C2777601897 @default.
• W2991058848 hasConceptScore W2991058848C33923547 @default.
• W2991058848 hasConceptScore W2991058848C38677869 @default.
• W2991058848 hasConceptScore W2991058848C41008148 @default.
• W2991058848 hasConceptScore W2991058848C71924100 @default.
• W2991058848 hasConceptScore W2991058848C77019957 @default.
• W2991058848 hasConceptScore W2991058848C98045186 @default.
• W2991058848 hasLocation W29910588481 @default.
• W2991058848 hasOpenAccess W2991058848 @default.
• W2991058848 hasPrimaryLocation W29910588481 @default.
• W2991058848 hasRelatedWork W1517948404 @default.
• W2991058848 hasRelatedWork W1522846680 @default.
• W2991058848 hasRelatedWork W1538363243 @default.
• W2991058848 hasRelatedWork W2011298214 @default.
• W2991058848 hasRelatedWork W2093785381 @default.
• W2991058848 hasRelatedWork W2119107183 @default.
• W2991058848 hasRelatedWork W2811334213 @default.
• W2991058848 hasRelatedWork W2991058848 @default.
• W2991058848 hasRelatedWork W4231208021 @default.
• W2991058848 hasRelatedWork W2519377959 @default.
• W2991058848 isParatext "false" @default.
• W2991058848 isRetracted "false" @default.
• W2991058848 magId "2991058848" @default.
• W2991058848 workType "article" @default.