الصفحة 4
الصفحة 4
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 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 checking and artificial intelligence ; 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence.
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.
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 response ; 1st International Workshop on mobile information technology, for emergency response, mobile response 2007, Sankt Augustin, Germany, February 22-23, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2007 held in Sankt Augustin, Germany in February 2007.
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.
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.
Membrane Computing; 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place in Thessaloniki, Greece, during June 25–28, 2008. Special attention was paid to the interaction of membrane computing with biology and computer science, focusing on the - ological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations.
Membrane Computing ; Vol. 4361 ; 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
The present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took place in Leiden, The Netherlands, during July 17–21, 2006. The ?rst three workshops on membrane computing were organized in Curtea de Arge¸ s, Romania – they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume2235),in August 2001(with a selection of papers published asa special issue of Fundamenta Informaticae, volume 49, numbers 1–3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume 2597). The next three workshops were organized in Tarragona, Spain, in July 2003, in Milan, Italy, in June 2004, and in Vienna, Austria, in July 2005, with the proceedings published as volumes 2933, 3365, and 3850, respectively, of Lecture Notes in Computer Science. The 2006edition of WMC wasorganized(and supported) byLorentzCenter, Leiden, under the auspices of the European Molecular Computing Consortium (EMCC). Special attention was paid to the interaction of membrane computing with biology, focusing both on the biological roots of membrane computing and on applications of membrane computing in biology and medicine.
Membrane Computing ; Vol. 3850 ; 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, to application issues, especially in biology. More specifically, these papers present research on topics such as: computational power and complexity classes, new types of P systems, relationships to Petri nets, quantum computing, and brane calculi, determinism vs. nondeterminism, hierarchies, the size of small families, algebraic approaches, and designing polynomial solutions to NP-complete problems through the use of membrane systems. Like the previous workshops,
Membrane Computing ; Vol. 3365 ; 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, in June 2004. This book addresses various topics in the area of membrane computing, ranging from mathematics and theoretical computer science to applications in biology, linguistics, and computer graphics.
Medical Imaging and Informatics ; 2nd International Conference, MIMI 2007, Beijing, China, August 14-16, 2007 Revised Selected Papers
This book constitutes the thoroughly refeered post-conference proceedings of the Second Interational Conference on Medical Imaging and Informatics, MIMI 2007, held in Beijing, China, in August 2007.The 40 revised full papers presented together with 4 keynote talks were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on medical image segmentation and registration, medical informatics, PET, fMRI, ultrasound and thermal imaging, 3D reconstruction and visualization. The volume is rounded off by 4 papers from 2 workshops on legal, ethical and social issues in medical imaging and informatics, as well as on computer-aided diagnosis (CAD).
Medical Imaging and Augmented Reality ; 4th International Workshop Tokyo, Japan, August 1-2, 2008 Proceedings
Constitutes the refereed proceedings of the 4th International Workshop on Medical Imaging and Augmented Reality, MIAR 2008, held in Tokyo, Japan, in August 2008.The 44 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on surgical planning and simulation, medical image computing, image analysis, shape modeling and morphometry, image-guided robotics, image-guided intervention, interventional imaging, image registration, augmented reality, and image segmentation.
Medical Imaging and Augmented Reality ; 3rd International Workshop, Shanghai, China, August 17-18, 2006, Proceedings
The Third International Workshop on Medical Imaging and Augmented Reality, MIAR 2006, was held in Shanghai, China at the Regal International East Asia Hotel during August 17-18, 2006. The goal of MIAR 2006 was to bring together researchers in medical image computing and intervention to present the state-of-the-art devel- ments in this ever-growing research area.
Mathematics for Computer Graphics
In thirteen chapters you will rediscover - and hopefully discover for the first time a new way of understanding - the mathematical techniques required to solve problems and design computer programs for computer graphic applications. Each chapter explores a specific mathematical topic and takes you forward into more advanced areas until you are able to understand 3D curves and surface patches, and solve problems using vectors.
