الصفحة 7
الصفحة 7
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 Reasoning in Science, Technology, and Medicine
The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and Medicine (MBR’06 China), held at Sun Yat-sen University, Guangzhou, P.R. China in July 2006. The presentations given at the conference explored how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. Some addressed the problem of model-based reasoning in technology, and stressed the issue of technological innovation and medical reasoning. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in science and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers.
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 ; 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 ; 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.
Mobilities of Knowledge
This collection of essays examines how spatial mobilities of people and practices, technologies and objects, knowledge and ideas have shaped the production, circulation, and transfer of knowledge in different historical and geographical contexts. Targeting an interdisciplinary audience, Mobilities of Knowledge combines detailed empirical analyses with innovative conceptual approaches. The first part scrutinizes knowledge circulation, transfer, and adaption, focussing on the interpersonal communication process, early techniques of papermaking, a geographical text, indigenous knowledge in exploration, the genealogy of spatial analysis, and different disciplinary knowledges about the formation of cities, states, and agriculture.
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 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 Ad-hoc and Sensor Networks ; Vol. 4325 ; 2nd International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2006, held in Hong Kong, China in December 2006. The 73 revised full papers address all current issues in mobile ad hoc and sensor networks and are organized in topical sections on routing, network protocols, security, energy efficiency, data processing, and deployment.
