الصفحة 8
الصفحة 8
Model-Driven Architecture - Foundations and Applications ; 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring together industry and academia to tackle the problems in model-driven development. This volume includes 18 foundation papers and 12 application papers, which is a fine balance between both worlds. ECMDA-FA 2006 also hosted six workshops on both theoretical and practical aspects of MDA. Furthermore, the keynote speakers, David Frankel and Bran Selic, from some of the world’s largest IT companies proved that industry is very much involved in MDA. This second ECMDA-FA conference is the result of the work of the authors who submitted a total of 78 papers, the Program Committee members who took the effort to review the papers, the people organizing the workshops, and of course the Steering Committee. All in all, several hundreds of people have worked hard to make this conference a success.
Model-Based Testing of Reactive Systems : Advanced Lectures
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
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 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 ; 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 ; 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.
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 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.
Misbehaving Proteins : Protein (Mis)Folding, Aggregation, and Stability
Misfoldedaggregatedproteinoncewasconsideredasinterestingasyesterday’strash—a bothersome by-product of important and productive activities, to be disposed of and forgotten as quickly as possible. Yesterday’s trash has become today’s focus of cons- erable scienti?c interest for at least two reasons: (1) protein aggregates are at the core of a number of chronic degenerative diseases such as Alzheimer’s disease, and (2) - gregation poses signi?cant obstacles to the manufacture of safe, ef?cacious, and stable protein products. As interest in protein misfolding, aggregation, and stability has soared beyond the core group of traditional protein-folding scientists, and as substantial scienti?c progress in understanding and controlling protein misfolding has been achieved, the need to summarize the state of the art became manifest. Although there are many excellent texts and edited collections on protein structure and folding, these volumes tend to relegate protein misfolding and aggregation to a minor role. Review articles and books focused on the biological role of protein aggregates in diseases have been published recently.
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.
Minimally invasive glaucoma surgery
This book covers all aspects of minimally invasive glaucoma surgery (MIGS) and provides detailed information on each MIGS device, including its mechanism of action; patient selection; implantation techniques; post-operative management; and a review of the existing literature. Step-by-step descriptions are provided for the surgical technique used in implanting each MIGS device, accompanied by clear photographs of each surgical stage. Other areas covered include intra-operative gonioscopy (with tips on optimising the view of the anterior chamber angle) and the management of the intra-operative and post-operative complications. Essential information on the anatomy and physiology of the different aqueous outflow pathways is also included.
Migraine
Migraine is a chronic paroxysmal neurological disorder characterised by multiphase attacks of head pain and a myriad of neurological symptoms. The underlying genetic and biological underpinnings and neural networks involved are coming sharply into focus. This progress in the fundamental understanding of migraine has led to novel, mechanism-based and disease-specific therapeutics. In this Seminar, the clinical features and neurobiology of migraine are reviewed, evidence to support available treatment options is provided, and emerging drug, device, and biological therapies are discussed.
Mid-infrared Semiconductor Optoelectronics
Mid-infrared Semiconductor Optoelectronics is an overview of the current status and technological development in this rapidly emerging area. It is composed of four parts. First, the basic physics and some of the main problems facing the design engineer (together with a comparison of possible solutions) are laid out. Next, there is a consideration of the multifarious lasers used as sources for mid-infrared technology, including an inspection of current approaches to the lack of such a source in the 3–4 µm region. Part III reviews recent work in light-emitting diodes and detectors and also deals with negative luminescence. The final part of the book is concerned with applications and highlights, once more, the diversity and technological importance of the mid-infrared spectral region.
Middleware 2008 ; ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held in Leuven, Belgium, in December 2008.The 21 revised full papers presented were carefully reviewed and selected from 117 submissions for inclusion in the book. The papers are organized in topical sections on platforms extended to new capabilities, advanced software engineering focusing on specific system properties, system management techniques, as well as components and system algorithms and properties.
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.
Microsoft .NET framework 2.0 web-based client development : MCTS self-paced training Kit (Exam 70-528)
Designed to help you make the most of your study time. Maximize your performance on the exam by learning to: * Create, trace, configure, and deploy Web applications * Integrate data into your application using Microsoft ADO.NET, XML, and data-bound controls * Implement forms authentication, impersonation, and login controls * Configure server controls and create custom Web controls * Use themes, user profiles, and Web parts for customizable, personalized Web sites * Manage server-side and client-side application state PRACTICE TESTS Assess your skills with practice tests on CD. You can work through hundreds of questions using multiple testing modes to meet your specific learning needs. You get detailed explanations for right and wrong answers?including a customized learning path that describes how and where to focus your studies. Your kit includes: * Official self-paced study guide. * Practice tests with multiple, customizable testing options and a learning plan based on your results. *400+ practice and review questions. * Case scenarios and lab exercises. * Microsoft Visual Basic and Visual C# code samples on CD.
Micrometeorites and the Mysteries of Our Origins
This book relates an attempt to decrypt the still-obscure first billion years of history of the young Earth, during a cataclysmic period during which our planet was heavily bombarded by bodies ranging in size from that of Mars to 0.1 mm sized tiny micrometeorites. It was thus found that micrometeorites played an essential role in the formation of the post-lunar atmosphere. They also provided a surprisingly large diversity of reactions in the organic prebiotic chemistry required for the birth of life on our blue planet. The author presents a wide-ranging review of the type of knowledge required to decrypt this history, which provides extensive background information from astronomy, planetary dynamics, planetology, astrobiology and earth sciences. This book will appeal to both the scientist and the general reader. It will be a source of material for lectures, and possibly new investigations, in these fields.
Microlithography/Molecular Imprinting
The series presents critical reviews of the present and future trends in polymer and biopolymer science including chemistry, physical chemistry, physics and material science. It is addressed to all scientists at universities and in industry who wish to keep abreast of advances in the topics covered.Molecular recognition is central to how biological systems work. The molecular imprinting technique is a valuable polymerisation method for preparing synthetic materials able to mimic the molecular recognition phenomena present in living systems. A molecule that acts as a template is associated with functional monomers to form a complex by means of covalent linkages or noncovalent interactions. A polymerisation-crosslinking reaction is then performed around this complex. Upon removal of the template species, functionalised cavities, that have memorized the special features and bonding preferences of the template, are left inside the polymer network.
Microeconomics for Managers ; 2nd ed.
Shows future managers how economics can provide practical answers to critical business problems. Focuses on case studies and real companies, such as Amazon, Microsoft, General Motors, United Airlines, and Xerox. Covers essential topics for future managers—including price discrimination, Porter’s five forces, risk sharing and spreading, signaling and screening, credibility and reputation, and economics and organizational behavior / Features an online supplement (available at micro4managers.stanford.edu) for students that provides solutions to the problems in the book, longer caselike exercises, review problems, a calculus review, and more
