الصفحة 2
الصفحة 2
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 ; 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 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 - 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.
Mobility, data mining and privacy : Geographic knowledge discovery
This book assesses this research frontier from a computer science perspective, investigating the various scientific and technological issues, open problems, and roadmap. The editors manage a research project called GeoPKDD, Geographic Privacy-Aware Knowledge Discovery and Delivery, funded by the EU Commission and involving 40 researchers from 7 countries, and this book tightly integrates and relates their findings in 13 chapters covering all related subjects, including the concepts of movement data and knowledge discovery from movement data; privacy-aware geographic knowledge discovery; wireless network and next-generation mobile technologies; trajectory data models, systems and warehouses; privacy and security aspects of technologies and related regulations; querying, mining and reasoning on spatiotemporal data; and visual analytics methods for movement data.
Mobile World : Past, Present and Future
Key reading for all those involved with the future of mobile communications, this book is a valuable resource, particularly for advanced undergraduate and postgraduate students on Mobile Technology courses, practitioners, and researchers working in mobile communications, CSCW and HCI. This volume is a sequel to Brown et al: Wireless World: Social and Interactional Aspects of the Mobile Age, also in the CSCW series. "This book presents a rich insight into how and why the mobile has become so important in today’s society. It explores the strong emotional attachment that people have to these devices, and argues that it is people and not the technology that developers must put at the heart of future mobile offerings. A valuable book for industry and academics alike."
Mobile Service Computing
This book introduces readers to the background and principles of mobile service computing. It discusses various aspects of service computing in mobile environments, including key methods and techniques for service selection, recommendation, composition, offloading, execution, deployment, and provision.
Mobile Information Systems : Infrastructure and Design for Adaptivity and Flexibility
The book is divided into three parts: core technologies for mobile information systems (e.g., adaptive middleware and flexible e-services), enabling technologies (like data management on small devices or adaptive low-power hardware architectures or wireless networks), and methodological aspects of mobile information systems design (such as service profiling or user interface and e-service design for context-aware applications). It provides researchers in academia and industry with a comprehensive vision on innovative aspects which can be used as a basis for the development of new frameworks and applications.
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.
Microprocessor 5 : Software and hardware aspects of development, debugging and testing - the microcomputer
Focuses more particularly on the first two generations of microprocessors, those that handle 4- and 8- bit integers. Microprocessor 5 – the fifth and final volume of this series of books – first presents the hardware and software aspects of the development chain of a microprocessor-based digital system. Finally, to round up the series and offer a historical perspective, the architectures of the first microcomputers are detailed. A comprehensive approach is used, with examples drawn from current and past technologies that illustrate theoretical concepts, making them accessible.
Microprocessor 4 : Core concepts - software aspects
Addresses the software aspects of this component. Coding of an instruction, addressing modes and the main features of the Instruction Set Architecture (ISA) of a generic component are presented. Futhermore, two approaches are discussed for altering the flow of execution using mechanisms of subprogram and interrupt. A comprehensive approach is used, with examples drawn from current and past technologies that illustrate theoretical concepts, making them accessible.
Microprocessor 3 : Core concepts - hardware aspects
Calculation is the main function of a computer. The central unit is responsible for executing the programs. The microprocessor is its integrated form. This component, since the announcement of its marketing in 1971, has not stopped breaking records in terms of computing power, price reduction and integration of functions (calculation of basic functions, storage with integrated controllers). It is present today in most electronic devices. Knowing its internal mechanisms and programming is essential for the electronics engineer and computer scientist to understand and master the operation of a computer and advanced concepts of programming.
Mathematical Software - ICMS 2006 ; 2nd International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings
This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International Congress on Mathematical Software, ICMS 2006, held in Castro Urdiales, Spain, September 1-3, 2006. This congress was devoted to all aspects of mathematical software, whose appearance is — in our opinion — one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. Conversely, mathematical research often motivates developments of new algorithms and new systems. Beyond mathematics, mathematical software systems are becoming indispensable tools in many branches of science and technology.
Introduction to information retrieval
Teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the use of machine learning methods on text collections. All the important ideas are explained using examples and figures, making it perfect for introductory courses in information retrieval for advanced undergraduates and graduate students in computer science.
Internet of things. information processing in an increasingly connected world ; First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
This book cover a wide range of topics from a technology to a business perspective and include among others hardware, software and management aspects, process innovation, privacy, power consumption, architecture, applications.
International Symposium on Fundamentals of Software Engineering ; International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17–19, 2007. Thissymposium brought together researchers and practitioners working on di?erent aspects of formal methods in software engineering.
Interactive drink machine company - (IDM company)
This project is a continuation of our previous project for a hot drink machine by adding the capability for electronic payment and developing the company's management system and making the hot drink machine linkable with the company's server via the Internet and more interactive with the customer through the development of this project according to several aspects. On the software level: An integrated system that allows recording customer requests and executed operations, in addition to information about users, including their personal information, current balance, and executed requests. On the level of employees, their personal information, their work tasks and the operations carried out by them (Receipt and delivery of materials and servicing of machines).
Intelligent systems and applications ; Proceedings of the 2020 intelligent systems Conference (IntelliSys) Vol.3
The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection of chapters covering a wider range of topics in areas of intelligent systems and artificial intelligence and their applications to the real world. This book collects both theory and application based chapters on all aspects of artificial intelligence, from classical to intelligent scope.
Intelligent systems and applications ; Proceedings of the 2020 intelligent systems Conference (IntelliSys) Vol.2
The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection of chapters covering a wider range of topics in areas of intelligent systems and artificial intelligence and their applications to the real world. This book collects both theory and application based chapters on all aspects of artificial intelligence, from classical to intelligent scope.
Intelligent systems and applications ; Proceedings of the 2020 intelligent systems Conference (IntelliSys) Vol.1
The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection of chapters covering a wider range of topics in areas of intelligent systems and artificial intelligence and their applications to the real world. This book collects both theory and application based chapters on all aspects of artificial intelligence, from classical to intelligent scope.
