Page 4
Page 4
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 driven Engineering Languages and Systems; 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MODELS 2007, held in Nashville, USA, September 30 - October 5, 2007. The 45 revised full papers were carefully reviewed and selected from 158 initial submissions.
Model Driven Engineering Languages and Systems ; 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems.
Model Driven Architecture : Foundations and Applications ; 1st European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2005, held in Nuremberg, Germany, in November, 2005. The papers are organized in topical sections on MDA development processes, MDA for embedded and real-time systems, and more.
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 Checking Software ; Vol. 3639 : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.
Model Checking Software ; 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Model checking software ; 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
Model and Mathematics : From the 19th to the 21st Century
This book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathematical model between abstraction and realization, presentation and representation, what is modeled and what models.
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 health technologies for ambient assisted living and healthcare
The use of telemedicine and mobile devices is growing, and sensors might aid in creating creative solutions. Developing these solutions is crucial for monitoring senior citizens, lifestyles, and medical procedures. The development of assistive technology for various users to follow sports and other activities is strongly tied to this study area. Data protection is crucial, and the development of these solutions for medical uses should be verified. The security and privacy of the information may be tied to other recognized research projects for their acceptability. ICT research has considerably improved quality of life and has fully assimilated all citizens into society through medical rehabilitation and assistive technology. The technologies and research fields that influence medical informatics include databases, networking, graphical user interfaces, data mining, machine learning, intelligent decision support systems, and specialized programming languages.
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.
Mixed-criticality industrial wireless networks
Introduces criticality to label important data,which is then allocated more transmission resources, ensuring that important data’sQoS requirements can be met to the extent possible.To help readers understand how to apply mixed criticality to industrial wirelessnetworks, the content is divided into four parts. First, we introduce how to integratethe model of mixed-criticality data into industrial wireless networks (Chap. 1).Second, we explain how to analyze the schedulability of mixed-criticality data underexisting scheduling algorithms (Chaps. 2 and 3). Third, we present a range of novelscheduling algorithms for mixed-criticality data (Chaps. 4, 5, and 6). Finally, weconclude this book and discuss future research directions (Chap. 7).
Mining Complex Data ; ECML/PKDD 2007 Third International Workshop, MCD 2007, Warsaw, Poland, September 17-21, 2007, Revised Selected Papers
This book constitutes the refereed proceedings of the Third International Workshop on Mining Complex Data, MCD 2007, held in Warsaw, Poland, in September 2007, co-located with ECML and PKDD 2007.The 20 revised full papers presented were carefully reviewed and selected; they present original results on knowledge discovery from complex data. In contrast to the typical tabular data, complex data can consist of heterogenous data types, can come from different sources, or live in high dimensional spaces. All these specificities call for new data mining strategies.
Middleware 2007 ; ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held in Newport Beach, CA, USA, in November 2007.
Middleware 2005 ; ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings
Today, middleware is a key part of almost any application. Gone are the days when middleware was only used in the IT industry for high-end applications. Rather than middleware being part of the IT world, today IT applications r- resent only one aspect of middleware. With the increase in distribution, network capacity, and widespread deployment of computing devices (in homes, auto- biles, mobile phones, etc.), middleware has surpassed the importance of operating systems as the platform where application development and deployment take place. This makes middleware very exciting as a research area but also a very challenging one since it encompasses many different concepts and techniques from a wide varietyof ?elds: networking, distributed systems, softwareengine- ing, performance analysis, computer architecture, and data management. Middleware 2005 in Grenoble, France, was the 6th edition of an increasingly successfulconference.The scope of the conference has been slowly widening with every edition to accommodate new ?elds and applications.
Methodological Investigations in Agent-Based Modelling : With Applications for the Social Sciences
Examines the methodological complications of using complexity science concepts within the social science domain. The opening chapters take the reader on a tour through the development of simulation methodologies in the fields of artificial life and population biology, then demonstrates the growing popularity and relevance of these methods in the social sciences. Following an in-depth analysis of the potential impact of these methods on social science and social theory, the text provides substantive examples of the application of agent-based models in the field of demography. This work offers a unique combination of applied simulation work and substantive, in-depth philosophical analysis, and as such has potential appeal for specialist social scientists, complex systems scientists, and philosophers of science interested in the methodology of simulation and the practice of interdisciplinary computing research.
