الصفحة 43
الصفحة 43
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. 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 ; 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 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).
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.
Mobile Ad-hoc and Sensor Networks ; Vol. 3794 : 1st International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings
Constitutes the refereed proceedings of the First International Conference on Mobile Ad-hoc and Sensor Networks held in 2005. The papers address topical areas in mobile ad hoc and sensor networks, such as network architecture and protocols, software platforms and development tools, self-organization and synchronization, and more
Mobile Ad-Hoc and sensor networks ; 3rd International Conference, MSN 2007 Beijing, China, December 12-14, 2007 Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2007, held in Beijing, China, in December 2007.
mm-Wave Silicon Technology : 60 GHz and Beyond
mm-Wave Silicon Technology: 60GHz and Beyond covers silicon-based millimeter wave circuits and systems. It provides in depth coverage of advanced silicon processing technologies including CMOS and SiGe as well as modeling of active and passive devices on silicon at millimeter waves. It also provides coverage of mm-wave circuit building blocks such as low noise amplifiers, mixers, voltage controlled oscillators, frequency dividers, and power amplifiers that are suitable for integration in silicon. The book contains information on highly integrated mm-wave transceiver architectures with several silicon-based case studies. The book also includes advanced topics such as antenna arrays and beam-forming on silicon.
Mixture Formation in Internal Combustion Engines
This book covers the various approaches to modelling and optimising the spray and mixture formation processes in modern internal combustion engines. Due to their complexity and importance in predicting the temporal and spatial distribution of liquid and gaseous fuel inside the cylinder, special emphasis is put on the detailed description of multi-dimensional CFD-models. The book describes and discusses the most widely used mathematical models for in-cylinder spray and mixture formation processes.
Mini-Micro Fuel Cells : Fundamentals and Applications
This volume contains an archival record of the NATO Advanced Institute on Mini – Micro Fuel Cells – Fundamental and Applications held in Çesme – Izmir, Turkey, July 22–August 3, 2007. The ASIs are intended to be a high-level teaching activity in scientific and technical areas of current concern. In this volume, the reader may find interesting chapters on Mini- Micro Fuel Cells with fundamentals and applications. In recent years, fu- cell development, modeling and performance analysis has received much attention due to their potential for distributed power which is a critical issue for energy security and the environmental protection.
Middleware 2006 ; ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held in Melbourne, Australia, in November/December 2006. The 21 revised full papers presented were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on performance, composition, management, publish/subscribe technology, databases, mobile and ubiquitous computing, security, and data mining techniques.
Microsimulation Population Projections with SAS : A Reference Guide
This book for a researcher needs to perform microsimulation for population projections, building its own model with a common statistical software such as SAS might a good option, because this software is widely used among scholars and is taught in most social sciences departments. We define what is microsimulation: a modelling based on individual-level data rather than aggregated level data, in which transitions between the states are determined stochastically with a random experiment. We finally provide some examples of microsimulation models used by social scientists.
Micromechanics of Heterogeneous Materials
The micromechanics of random structure heterogeneous materials is a burgeoning multidisciplinary research area which overlaps the scientific branches of materials science, mechanical engineering, applied mathematics, technical physics, geophysics, and biology. Micromechanics of Heterogeneous Materials features rigorous theoretical methods of applied mathematics and statistical physics in materials science of microheterogeneous media. The prediction of the behavior of heterogeneous materials by the use of properties of constituents and their microstructures is a central issue of micromechanics. This book is the first in micromechanics to provide a useful and effective demonstration of the systematic and fundamental research of the microstructure of the wide class of heterogeneous materials of natural and synthetic nature.
Micromechanics of Contact and Interphase Layers
Micromechanics provides a link between the structure and the properties at different scales of observation. This book deals with micromechanical analysis of interfaces and interface layers and presents several modelling tools, ranging from the rigorous method of asymptotic expansions to practical finite element simulations, suitable for this class of problems. Two application areas are discussed. Boundary layers associated with contact of rough bodies are modelled by applying a scale transition approach in which a macroscopic interface of zero thickness is seen at the micro-scale as a layer with some finite thickness. Secondly, evolution of laminated microstructures accompanying stress-induced martensitic transformations in shape memory alloys (SMA) is analyzed as an illustration of the case when the local interfacial phenomena – here the propagation of phase transformation fronts – govern the macroscopic behaviour of a heterogeneous material.
Micromechanics and Nanosimulation of Metals and Composites : Advanced Methods and Theoretical Concepts
This book provides insight into advanced numerical and experimental investigations of the microstructural aspects of strength and damage of metals and metal-based composites. In particular, atomistic and dislocation models, micromechanical simulations and homogenization techniques, as well as experimental observations in combination with computer simulations, are described. These methods are successfully applied to analyze the mechanical behavior of metals and metal-matrix composites.
Microflows and Nanoflows : Fundamentals and Simulation
This book provides a comprehensive summary of these changes describing fluid flow in micro and nano configurations. Where as in their previous book entitled Microflows: Fundamentals and Simulation. In this new book they discuss length scales from angstroms to microns (and beyond). While still maintaining the emphasis on fundamental concepts with a mix of semianalytical, experimental, and numerical results, this book outlines their relevance to modeling and analyzing functional devices.
