الصفحة 32
الصفحة 32
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 Geostatistics
Geostatistics is concerned with estimation and prediction problems for spatially continuous phenomena, using data obtained at a limited number of spatial locations. The name reflects its origins in mineral exploration, but the methods are now used in a wide range of settings including public health and the physical and environmental sciences. Model-based geostatistics refers to the application of general statistical principles of modeling and inference to geostatistical problems. This volume is the first book-length treatment of model-based geostatistics. The authors have written an expository text, emphasizing statistical methods and applications rather than the underlying mathematical theory. Analyses of datasets from a range of scientific contexts feature prominently, and simulations are used to illustrate theoretical results. Readers can reproduce most of the computational results in the book by using the authors' R-based software package, geoR, whose usage is illustrated in a computation section at the end of each chapter.
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology
This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology.
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 ; Vol. 4199 ; 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006. The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, analyzing dynamic models, specifying transformations, MOF, bridging models, risk, trust and dependability, tool environments, OCL, roundtrip engineering, real time and embedded systems, as well as workshops, tutorials and panels.
Model Driven Engineering Languages and Systems ; Vol. 3713 : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. This book includes 52 papers and 2 keynote abstracts. It covers such topics as process modelling, product families, state/behavioral modeling, design strategies and more.
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 ; 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings
This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations and Applications, ECMDA-FA 2007, held in Haifa, Israel in June 2007. The papers address all current issues of model-driven architecture, including foundational topics and application-oriented issues.
Model Driven Architecture and Ontology Development
Gaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the Semantic Web. Part I of their book describes existing technologies, tools, and standards like XML, RDF, OWL, MDA, and UML. Part II presents the first detailed description of OMG’s new ODM (Ontology Definition Metamodel) initiative, a specification which is expected to be in the form of an OMG language like UML. Finally, Part III is dedicated to applications and practical aspects of developing ontologies using MDA-based languages.
Model Driven Architecture ; European MDA Workshops : Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers
Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development. MDA s- arates the specification of system functionality from the implementation on a specific platform. It is aimed at making software assets more resilient to changes caused by emerging technologies. While stressing the importance of modeling, the MDA initiative covers a wide spectrum of research areas. Further efforts are required to bring them into a coherent approach based on open standards and supported by matured tools and techniques. This volume contains the selected papers of two workshops on “Model-Driven Architecture – Foundations and Applications” (MDAFA): MDAFA 2003 held at the University of Twente, Twente, The Netherlands, June 26–27, 2003, and MDAFA 2004 held at Linko ¨ping University, Link¨ oping, Sweden, June 10–11, 2004. The goal of the workshops was to understand the foundations of MDA, to share experience in applying MDA techniques and tools, and to outline future research directions. The workshops organizers encouraged authors of accepted papers to re-submit their papers to a post-workshop reviewing process; 15 of these papers were accepted to appear in this volume on MDA.
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 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 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.
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 and Wireless Network Security and Privacy
Mobile and Wireless Network Security and Privacy analyzes important security and privacy problems in the realms of wireless networks and mobile computing. The material includes a report to the National Science Foundation of the United States which will be used by program managers for the foundation in setting priorities for research directions in this area. In the following chapters field experts expand upon the report and provide further information about important research directions in the fields of wireless networks and mobile computing. The chapters are written by the leading international researchers and professionals in thes fields. Each chapter represents state-of-the-art research and includes several influential contributions. A multitude of valuable discussions on relevant concepts, such as the various approaches that define emerging security and privacy in mobile and wireless environment, are featured.
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 Communication Networks; IFIP 19th World Computer Congress, TC-6, 8th IFIP/IEEE Conference on Mobile and Wireless Communications Networks, August 20-25, 2006, Santiago, Chile
International Federation for Information Processing 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.
