الصفحة 12
الصفحة 12
Testing Software and Systems ; 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.
Testing of software and communicating systems ; 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.
Testing of software and communicating systems ; 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia.
Testing of Communicating Systems ; Vol. 3964 ; 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). The proceedings contain 23 papers that were selected from 48 submissionsin a carefully designed and transparent paper selection process. TestCom 2006consisted of 8 sessions, whose scope covered:–Testing theory and foundations–Testing non-deterministic and probabilistic systems–Testing the Internet and industrial systems–TTCN-3–Compositional and distributed testing–FSM-based testing and diagnosis–Testing timed systems–Testing for security
Testing of Communicating Systems ; Vol. 3502 ; 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2005, held in Montreal, Canada in May/June 2005. The 24 revised full papers presented together with the extended abstract of a keynote talk were carefully reviewed and selected from initially 62 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing.
Terrestrial Trunked Radio - TETRA : A Global Security Tool
Terrestrial Trunked Radio (TETRA) has become the tool to design any type of public security systems, in particular due to the strongly increased security demands for mobile systems. In this book, the authors show how TETRA can be strongly improved and these improvements will most probably be part of future TETRA standards. The areas examined include channel assignment and multiple access techniques, video transmission, wireless LAN integration, and the establishment of multiple wireless mesh networks. Since the requirements for these networks is security, the authors show that innovative techniques such as those based on chaotic signals can be used in order to maximize security.
Telecommunications Planning : Innovations in Pricing, Network Design and Management
Focuses on the latest methodological developments in three key areas---pricing of telecommunications services, network design, and resource allocation. These three elements are most relevant to current telecommunications planning. The first five chapters cover global deregulation of the telecommunications industry, effective pricing and revenue management, as well as an understanding of competitive pressures are key factors that will improve revenue in telecommunications companies. These chapters present some novel ideas related to pricing (including auction-based pricing of network bandwidth) and modeling competition in the industry. The next seven chapters outline what successful telecommunications companies of the future will need to do in order to minimize their costs and still meet customer expectations. In this context the optimal design/provisioning of telecommunication networks plays an important role. These chapters focus on network design for a wide range of technologies including SONET, SDH, WDM, and MPLS. They include the latest research developments related to the modeling and solving of network design problems. The final six chapters provide insightful solutions to several resource allocation problems. Day-to-day management/control of telecommunications networks is dependant upon the optimal allocation of resources.
Telecommunications Modeling, Policy, and Technology
With rapid advances in telecommunications technology there are many new innovative applications. These advances in technology spawn new research problems. This volume is motivated by these advances in technology. Topics range from free-space optical networks to vehicular ad-hoc networks. The research contained in these papers cover a broad spectrum of issues. They range from the design of business models, tools for spectrum auctions, Internet charging schemes, Internet routing policies, and network design problems. Together, they address issues dealing both with engineering design and policy, and it is hoped that these papers will foster new ideas and research in their respective domains.
Technology enhanced learning ; IFIP TC3 Technology Enhanced Learning Workshop (Tel'04), World Computer Congress, August 22-27, 2004, Toulouse, France
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes : foundations of computer science ; software theory and practice ; education ; computer applications in technology ; communication systems ; systems modeling and optimization; information systems; computers and society ; computer systems technology ; security and protection in information processing systems ; artificial intelligence ; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Technologies for Interactive Digital Storytelling and Entertainment ; 3rd International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006, Proceedings
Contains the proceedings from the 3rd International Conference on Technologies for Interactive Digital Storytelling and Entertainment (TIDSE 2006). The contributions are grouped into six sections, which include subjects like virtual characters, story authoring, narrative systems, and examples of their application. During recent years, Interactive Digital Storytelling has evolved as a prospering - search topic, banding together formerly disjoined disciplines stemming from the arts and humanities as well as computer science. The subject of this book is of course strongly related to the notion of ‘storytelling’, which has been used as an effective means for the communication of knowledge and social values, ever since the early history of humankind. It also tries to build a bridge between current academic trends.
Technologies for E-Services ; 3rd International Workshop, TES 2002, Hong Kong, China, August 23-24, 2002, Proceedings
Constitutes the refereed proceedings of the 2002 VLDB workshop on Technologies for E-Services (VLDB-TES 02) isthe third workshop in a series of annual workshops endorsed by the VLDBConference. It serves as a forum for the exchange of ideas, results and experiencein the area of e-commerce and e-business.VLDB-TES 02 took place in Hong Kong, China. It featured the presentationof 14 regular papers, focused on major aspects of e-business solutions. these papers address such topics as: database issues for e-services; b2b integration; model transformation; information fusion; process-based application development and information integration.
Technologies for E-Learning and Digital Entertainment ; 1st International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, Proceedings
Constitutes the refereed proceedings of the Edutainment 2006 is an international conference on research and development on e-learning and digital entertainment. The main purpose of the conference is the d- cussion, information and opinions exchange on the development and use of such s- tems. It provides a very interesting opportunity for researchers who want to attend or present communications at these events. The conference includes plenary invited talks, workshops, tutorials, paper presentation tracks and panel discussions. "Edutainment" is a recently coined term that expresses the union between education and entertainment in a television program, game or website. Today, the world of multimedia games and activities is a place where education and entertainment meet. Edutainment has evolved as a prospering research topic banding together formerly disjoined disciplines stemming from education, entertainment as well as computer s- ence.
Technologies for Development : From Innovation to Social Impact
Presents 18 case studies that explore current scientific and technological efforts to address global development issues, such as poverty, from a holistic and interdisciplinary point of view, putting actual impacts at the centre of its analysis. It illustrates the use of technologies for development in various fields of research, such as humanitarian action, medical and information and communication technology, disaster risk-reduction technologies, habitat and sustainable access to energy. The authors discuss how innovative technologies, such as unmanned aerial vehicles for disaster risk reduction, crowdsourcing humanitarian data, online education and ICT-based medical technologies can have significant social impact. The book brings together the best papers of the 2016 International Conference on Technologies for Development at EPFL, Switzerland. The book explores how the gap between innovation in the global South and actual social impact can be bridged.
Technical Translation : Usability Strategies for Translating Technical Documentation
This book is an introduction to technical translation and usability for translators and researchers. It draws on a broad range of research and makes it both accessible and applicable to those involved in the practice and study of translation. After exploring various theoretical aspects of technical translation, readers learn how to improve and assess the quality of technical translations by using cognitive psychology, usability engineering and technical communication to develop skills which can be implemented during the text production stage of the translation process. A practical usability study is described to illustrate the theories, methods and benefits of usability engineering.
Taxonomies for the Development and Verification of Digital Systems
In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By providing definitions for the terms used in the modeling, implementation, and verification of electronic systems, the taxonomies described in this book will help us find a common understanding." --Richard Goering, Group Editorial Director for Design Automation, Electronic Engineering Times
Talking About Second Language Acquisition
Includes interviews with fourteen internationally-acclaimed leading figures in Second Language Acquisition (SLA), who speak on seminal issues in the field as well as their own contributions to SLA scholarship. As well as covering the contributors’ backgrounds and academic achievements, the interviews also delve into their areas of expertise, current theoretical and practical considerations, and contemporary questions, developments and challenges in SLA.
SystemVerilog for Verification : A Guide to Learning the Testbench Language Features
Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic designs. This book explains methodology concepts for constructing testbenches that are modular and reusable.
Systems, software and services process improvement ; 27th European Conference, EuroSPI 2020, Düsseldorf, Germany, September 9–11, 2020, Proceedings
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Düsseldorf, Germany, in September 2020*. The 50 full papers and 13 short papers presented were carefully reviewed and selected from 100 submissions. They are organized in topical sections on visionary papers, SPI manifesto and improvement strategies, SPI and emerging software and systems engineering paradigms, SPI and standards and safety and security norms, SPI and team performance & agile & innovation, SPI and agile, emerging software engineering paradigms, digitalisation of industry, infrastructure and e-mobility, good and bad practices in improvement, functional safety and cybersecurity, experiences with agile and lean, standards and assessment models, recent innovations, virtual reality.
Systems, Control, Modeling and Optimization ; Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Systems aspects in organic and pervasive computing - ARCS 2005 ; 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings
Constitutes the refereed proceedings of the 18th International Conference on Architecture of Computing Systems, ARCS 2005, held in Innsbruck, Austria in March 2005. The 18 revised full papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on adaptation, power consumption, and scheduling; adaptation and agents; adaptation and services; application of adaptable systems; and pervasive computing and communication.
