الصفحة 7
الصفحة 7
Modeling and Control of Discrete-event Dynamic Systems : with Petri Nets and Other Tools
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. Modeling and Control of Discrete-event Dynamic Systems begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all essential for control students to become proficient with DEDs and to make use of them in practical applications.
Model-Driven Development of Reliable Automotive Services ; 2nd Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
Model-Driven Development and Operation of Multi-Cloud Applications : The MODAClouds Approach
In this book readers will find technological discussions on the existing and emerging technologies across the different stages of the big data value chain. They will learn about legal aspects of big data, the social impact, and about education needs and requirements. And they will discover the business perspective and how big data technology can be exploited to deliver value within different sectors of the economy. The book is structured in four parts: Part I "The Big Data Opportunity" explores the value potential of big data with a particular focus on the European context. It also describes the legal, business and social dimensions that need to be addressed, and briefly introduces the European Commission's BIG project.
Model-Based Software and Data Integration ; 1st International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings
The First International Workshop on Model-Based Software and Data Integ- tion (MBSDI 2008), was ourfrst event of this kind in a forthcoming series of activities at TU Berlin, where a scientifc discussion and exchange forum was provided for both academic and industrial researchers. We aimed at researchers, engineersand practitionerswho focus onadvanced, model-basedsolutions inthe area of software and information integration and interoperability. As withevery beginning, the resonanceonour callsin today's overfoodingof workshops was somewhat unpredictable, and we did not really know how many paper submissions to expect. We were nicely surprised, considering the rather short lead time to organize the meeting and the very specialized and focused topic.
Model-Based Reasoning in Science, Technology, and Medicine
The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and Medicine (MBR’06 China), held at Sun Yat-sen University, Guangzhou, P.R. China in July 2006. The presentations given at the conference explored how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. Some addressed the problem of model-based reasoning in technology, and stressed the issue of technological innovation and medical reasoning. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in science and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers.
Model Driven Architecture - Foundations and Applications ; 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from 87 submissions. The papers address all current issues of model-driven architecture, i.e. model management, executable models, concrete syntaxes, aspects, and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, and the application of model-driven development. The papers are organized in topical sections on model management, executable models, concrete syntaxes, aspects and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, as well as surveys on applying model-driven development.
Model Checking Software ; Vol. 3925 ; 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering.
Model and Design of Bipolar and MOS Current-Mode Logic : CML, ECL and SCL Digital Circuits
many works and results have been published which reinforce the importance of Current-Mode digital circuits. In the topic of Current-Mode digital circuits, the authors properly exploited classical paradigms developed and used in the analog circuit domain (a topic in which one of the authors maturated a great experience).
Mobility Aware Technologies and Applications ; 2nd International Workshop, MATA 2005, Montreal, Canada, October 17 -- 19, 2005, Proceedings
The beginning of the twenty-first century is characterized by global markets, and the mobility of people is becoming an important fact of life. Consequently, the mobile user is demanding appropriate technical solutions to make use of customized information and communication services. In this context the notion of next-generation networks (NGNs), which are driven by the convergence of the entertainment sector, the mobile Internet, and fixed/mobile telecommunications, is emerging. Such NGNs are aggregating a variety of different access networks and supporting the seamless connection of an open set of end-user devices, and due to the adoption of an all-IP network paradigm they enable a much better integration of voice and data services. Coincidently the buzzword ‘fixed mobile convergence’ (FMC) describes the current trend towards providing common services across fixed and mobile networks resulting in the medium term in the full integration of fixed and mobile telecommunication networks. The adoption of appropriate middleware technologies and the provision of - called service delivery platforms driven by the ongoing innovation in the field of information technologies provides today the technical foundation for supporting terminal, personal and service mobility and thus the implementation of real seamless information and communication services. Furthermore, users are nowadays looking, in light of an omnipresent service environment, for a much higher degree of customization and context awareness in the services they use. The papers in this volume look at these enabling mobility-aware technologies and their use for implementing mobility-aware and context-aware applications.
Mobilities of Knowledge
This collection of essays examines how spatial mobilities of people and practices, technologies and objects, knowledge and ideas have shaped the production, circulation, and transfer of knowledge in different historical and geographical contexts. Targeting an interdisciplinary audience, Mobilities of Knowledge combines detailed empirical analyses with innovative conceptual approaches. The first part scrutinizes knowledge circulation, transfer, and adaption, focussing on the interpersonal communication process, early techniques of papermaking, a geographical text, indigenous knowledge in exploration, the genealogy of spatial analysis, and different disciplinary knowledges about the formation of cities, states, and agriculture.
Mobile World : Past, Present and Future
Key reading for all those involved with the future of mobile communications, this book is a valuable resource, particularly for advanced undergraduate and postgraduate students on Mobile Technology courses, practitioners, and researchers working in mobile communications, CSCW and HCI. This volume is a sequel to Brown et al: Wireless World: Social and Interactional Aspects of the Mobile Age, also in the CSCW series. "This book presents a rich insight into how and why the mobile has become so important in today’s society. It explores the strong emotional attachment that people have to these devices, and argues that it is people and not the technology that developers must put at the heart of future mobile offerings. A valuable book for industry and academics alike."
Mobile Wireless Middleware, Operating Systems and Applications ; 9th EAI International Conference, MOBILWARE 2020, Hohhot, China, July 11, 2020, Proceedings
This book constitutes the refereed conference proceedings of the 9th International Conference on Mobile Wireless Middleware, Operating Systems and Applications, MOBILWARE 2020, held in Hohhot, China, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 21 revised full papers were reviewed and selected from 69 submissions and are organized in tracks on MobilWare; Big data, data mining and artificial intelligence workshop; Blockchain and internet of things workshop.
Mobile Phone Programming and its Application to Wireless Networking
This book provides a solid overview of mobile phone programming targeting both academia and industry. Mobile Phone Programming covers all commercial realizations of Symbian, Windows Mobile and Linux platforms. Each programming language (JAVA, Python, C/C++) and a set of development environments are introduced “step by step” making developers familiar with current limitations, pitfalls, and challenges. Each chapter contains examples and source code to rapidly make developers familiar with the most important concepts. Examples cover peer to peer networks, cooperative networking, cross layer protocol design, key challenges such as power consumption, and sensor networks for which a full hardware and software implementation is provided. Whether you are an experienced developer or an advanced student Mobile Phone Programming will be your key reference for successfully entering the world of software development for mobile devices.
Mobile Information Systems II ; IFIP Working Conference on Mobile Information Systems, MOBIS 2005, Leeds, UK, December 6-7, 2005
Contains the proceedings of the second IFIP TC8 Working Conference on Mobile Information Systems which was held in December 2005 in Leeds, UK and sponsored by the International Federation of Information Processing (IFIP). Mobile Information Systems II aims to: · Clarify differences and similarities between the development of mobile and more traditional information systems. · Investigate the organizational impact of mobile information systems. · Investigate the 'e to m shift' , for example in m-Commerce relative to e-Commerce. · Investigate mobile commerce applications combined with the advantages of mobile communications technologies, the drivers of which have been identified as ubiquity, accessibility, security, convenience, localization, instant connectivity, and personalization. · Evaluate existing and newly developed approaches for the analysis, design, implementation, and evolution of mobile information systems. · Investigate technical issues and the constraints they impose on mobile information systems functionalities and design.
Mobile Information Systems ; Vol. 158 : IFIP TC 8 Working Conference on Mobile Information Systems (MOBIS) 15-17 September 2004, Oslo, Norway
This book contains the proceedings of the IFIP TC8 Working Conference on Mobile Information Systems, which was held in September 2004 in Oslo, Norway and sponsored by the International Federation for Information Processing (IFIP). Mobile Information Systems aims to: Clarify differences and similarities between the development of mobile vs. more traditional information system. Investigate the organizational impact of mobile information systems Investigate mCommerce relative to eCommerce Investigate mobile commerce applications combined with the advantages of mobile communications technologies, the drivers of which have been identified as ubiquity, reachability, security, convenience, localization, instant connectivity and personalization. Evaluate existing and newly developed approaches for analysis, design, implementation, and evolution of mobile information systems. Investigate technical issues and the constraints they pose on mobile information systems functionalities and design
Mobile Edge Computing
It offers comprehensive, self-contained knowledge on Mobile Edge Computing (MEC), which is a very promising technology for achieving intelligence in the next-generation wireless communications and computing networks. The book starts with the basic concepts, key techniques and network architectures of MEC. Then, we present the wide applications of MEC, including edge caching, 6G networks, Internet of Vehicles, and UAVs. In the last part, we present new opportunities when MEC meets blockchain, Artificial Intelligence, and distributed machine learning (e.g., federated learning). We also identify the emerging applications of MEC in pandemic, industrial Internet of Things and disaster management.
Mobile computing, applications, and services ; 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Mobile Computing, Applications, and Services, MobiCASE 2020, held in Shanghai, China, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 full papers were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on mobile application and framework; mobile application with data analysis; and AI application.
Mobile Communications : Re-negotiation of the Social Sphere
Mobile Communications: Renegotiation of the Social Sphere surveys some of the broader issues associated with the adoption and use of mobile communication, and explores developing areas of inquiry. Mobile communications are looked at in the context of other types of mediated interaction (e-mail, instant messaging, Wi-Fi, landline telephone etc.), thus demonstrating the uniqueness of this form of communication and how it is influencing the renegotiation of the social sphere. A truly international set of contributors consider how mobile communication has impacted on society and reflect on how it is used (and sometimes resented) in various public and private spaces. They provide an in-depth analysis of specific areas which complement our understanding of the phenomena including: • The psychological dimensions of mobile communication (addiction, proclivity to be disturbed by others use of the mobile phone), • The linguistics of mobile communication, and • The understanding of mobile communication’s commercialisation. This book will be a valuable addition to any researcher’s or professional’s reading material in the area of interaction of technology and society, providing the reader with a broad insight and specific knowledge of how mobile communication is reformulating the social sphere.
Mobile and Wireless Communications with Practical Use-Case Scenarios
While wireless technologies had a spectacular evolution over the past years, the present trend is to adopt a global heterogeneous network of shared standards that enables the provisioning of Quality of Service and Quality of Experience to the end-user. To this end, enabling technologies like Machine Learning, Internet of Things, Digital Twins, are seen as promising solutions for next generation networks that will enable an intelligent adaptive interconnected environment with support for prediction and decision making so that the heterogeneous applications and users requirements can be highly satisfied. The aim of this textbook is to provide the readers with a comprehensive technical foundation of the mobile communication systems and wireless network design, operations and applications of various radio access technologies. Additionally, it also introduces the reader to the latest advancements in technologies in terms of Internet of Things ecosystem, Machine Learning and Digital Twins for IoT-enabled intelligent environments. Furthermore, this textbook also includes practical use-case scenarios using Altair WinProp Software as well as Phyton, TensorFlow and Jupiter as support for practice-based laboratory sessions"
Mobile and Wireless Communications Networks ; IFIP TC6 / WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004) October 25-27, 2004 Paris, France
Mobile Ad hoc NETworks (MANETs) has attracted great research interest in recent years. A Mobile Ad Hoc Network is a self-organizing multi-hop wireless network where all hosts (often called nodes) participate in the routing and data forwarding process. The dependence on nodes to relay data packets for others makes mobile ad hoc networks extremely susceptible to various malicious and selfish behaviors. This point is largely overlooked during the early stage of MANET research. Many works simply assume nodes are inherently cooperative and benign. However, experiences from the wired world manifest that the reverse is usually true; and many works [3] [10] [9] [8] [12] [19] have pointed out that the impact of malicious and selfish users must be carefully investigated. The goal of this research is to address the cooperation problem and related security issues in wireless ad hoc networks. As a rule of thumb, it is more desirable to include security mechanisms in the design phase rather than continually patching the system for security breaches. As pointed out in [2] [1], there can be both selfish and malicious nodes in a mobile ad hoc network. Selfish nodes are most concerned about their energy consumption and intentionally drop packets to save power. The purpose of malicious nodes, on the other hand, is to attack the network using various intrusive techniques. In general, nodes in an ad hoc network can exhibit Byzantine behaviors.
