New Trends in Intelligent Software Methodologies, Tools and Techniques


Book Description

The integration of AI with software is an essential enabler for science and the new economy, creating new markets and opportunities for a more reliable, flexible and robust society. Current software methodologies, tools and techniques often fall short of expectations, however, and much software remains insufficiently robust and reliable for a constantly changing and evolving market. This book presents 54 papers delivered at the 20th edition of the International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques (SoMeT_21), held in Cancun, Mexico, from 21–23 September 2021. The aim of the conference was to capture the essence of a new state-of-the-art in software science and its supporting technology and to identify the challenges that such a technology will need to master, and this book explores the new trends and theories illuminating the direction of development in this field as it heads towards a transformation in the role of software and science integration in tomorrow’s global information society. The 54 revised papers were selected for publication by means of a rigorous review process involving 3 or 4 reviewers for each paper, followed by selection by the SoMeT_21 international reviewing committee. The book is divided into 9 chapters, classified by paper topic and relevance to the chapter theme. Covering topics ranging from research practices, techniques and methodologies to proposing and reporting on the solutions required by global business, the book offers an opportunity for the software science community to consider where they are today and where they are headed in the future.




Mobile Multimedia Communications: Concepts, Applications, and Challenges


Book Description

With rapid growth of the Internet, the applications of multimedia are burgeoning in every aspect of human life including communication networks and wireless and mobile communications. Mobile Multimedia Communications: Concepts, Applications and Challenges captures defining research on all aspects and implications of the accelerated progress of mobile multimedia technologies. Covered topics include fundamental network infrastructures, modern communication features such as wireless and mobile multimedia protocols, personal communication systems, mobility and resource management, and security and privacy issues. A complete reference to topics driving current and potential future development of mobile technologies, this essential addition to library collections will meet the needs of researchers in a variety of related fields.




Model and Data Engineering


Book Description

This book constitutes the refereed proceedings of the First International Conference on Model and Data Engineering, MEDI 2011, held in Óbidos, Portugal, in September 2011. The 18 revised full papers presented together with 8 short papers and three keynotes were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on ontology engineering; Web services and security; advanced systems; knowledge management; model specification and verification; and models engineering.




Automated Technology for Verification and Analysis


Book Description

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2005, the third of the ATVA series, was held in Taipei, Taiwan, October 4–7, 2005. The main theme of the symposium encompasses - sign, complexities, tools, and applications of automated methods for veri?cation and analysis. The symposium was co-located and had a two-day overlap with FORTE 2005, which was held October 2–5, 2005. We received a total of 95 submissions from 17 countries. Each submission was assigned to three Program Committee members, who were helped by their subreviewers, for rigorous and fair evaluation. The ?nal deliberation by the P- gram Committee was conducted over email for a duration of about 10 days after nearly all review reports had been collected. In the end, 33 papers were - lectedforinclusionintheprogram.ATVA2005hadthreekeynotespeechesgiven respectively by Amir Pnueli (joint with FORTE 2005), Zohar Manna, and Wo- gang Thomas. The main symposium was preceded by a tutorial day, consisting of three two-hour lectures given also by the keynote speakers.




Mobile Computing: Concepts, Methodologies, Tools, and Applications


Book Description

"This multiple-volume publication advances the emergent field of mobile computing offering research on approaches, observations and models pertaining to mobile devices and wireless communications from over 400 leading researchers"--Provided by publisher.




Mobile Computing


Book Description

"This multiple-volume publication advances the emergent field of mobile computing offering research on approaches, observations and models pertaining to mobile devices and wireless communications from over 400 leading researchers"--Provided by publisher.




Multimedia Technologies


Book Description

"This book offers an in-depth explanation of multimedia technologies within their many specific application areas as well as presenting developing trends for the future"--Provided by publisher.




RTCSA 2005


Book Description

RTCSA traditionally brings together researchers and developers from academia and industry for advancing the technology of embedded and real-time systems and ubiquitous computing applications. This year, RTCSA 2005 is an IEEE conference and includes three tracks, real-time computing, ubiquitous computing and embedded computing tracks, together with an industrial track. The conference looks to investigate advances in embedded and real-time systems and ubiquitous computing applications; to promote interaction among the areas of embedded computing, real-time computing and ubiquitous computing; and to evaluate the maturity and directions of embedded and real-time system and ubiquitous computing technology.




Instruction Selection


Book Description

This book presents a comprehensive, structured, up-to-date survey on instruction selection. The survey is structured according to two dimensions: approaches to instruction selection from the past 45 years are organized and discussed according to their fundamental principles, and according to the characteristics of the supported machine instructions. The fundamental principles are macro expansion, tree covering, DAG covering, and graph covering. The machine instruction characteristics introduced are single-output, multi-output, disjoint-output, inter-block, and interdependent machine instructions. The survey also examines problems that have yet to be addressed by existing approaches. The book is suitable for advanced undergraduate students in computer science, graduate students, practitioners, and researchers.




Advances in Electromechanical Technologies


Book Description

This book comprises select peer-reviewed papers from the International Conference on Emerging Trends in Electromechanical Technologies & Management (TEMT) 2019. The focus is on current research in interdisciplinary areas of mechanical, electrical, electronics and information technologies, and their management from design to market. The book covers a wide range of topics such as computer integrated manufacturing, additive manufacturing, materials science and engineering, simulation and modelling, finite element analysis, operations and supply chain management, decision sciences, business analytics, project management, and sustainable freight transportation. The book will be of interest to researchers and practitioners of various disciplines, in particular mechanical and industrial engineering.