Page 53
Page 53
Challenges in Ad Hoc Networking ; 4th Annual Mediterranean Ad Hoc Networking Workshop, June 21-24, 2005, Île de Porquerolles, France
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.
Challenges for next generation network operations and service management : 11th Asia-Pacific network operations and management symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, held in Beijing, China, in October 2008.
Challenges and Solutions for Sustainable Smart City Development
Discusses advances in smart and sustainable development of smart environments. The authors discuss the challenges faced in developing sustainable smart applications and provide potential solutions. The solutions are aimed at improving reliability and security with the goal of affordability, safety, and durability. Topics include health care applications, sustainable smart transportation systems, intelligent sustainable wearable electronics, and sustainable smart building and alert systems. Authors are from both industry and academia and present research from around the world. Addresses problems and solutions for sustainable development of smart cities; Includes applications such as healthcare, transportation, wearables, security, and more ; Relevant for scientist and researchers working on real time smart city development.
Certification and security in inter-organizational E-services ; IFIP 18th World Computer Congress, August 22-27, 2004, Toulouse, France
This collection of papers offers real-life application experiences, research results and methodological proposals of direct interest to systems experts and users in governmental, industrial and academic communities. This book also documents several important developments. The uptake of distributed computational infrastructure oriented to service provision, like Web-Services and Grid, is making C&S even more important. E-services based on legacy systems managed by autonomous and independent organizations, a common situation in the public administration sector, increase overall complexity. The increased presence and use of e-service IT-infrastructures depends on the critical ability required for all security issues, from the basic (availability, authentication, integrity, confidentiality) to the more complex (e.g. authorization, non-repudiation).
Cellular Automata and Discrete Complex Systems ; 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings
This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2020, held in Stockholm, Sweden, in August 2020. The workshop was held virtually. The 11 full papers presented in this book were carefully reviewed and selected from a total of 21 submissions. The topics of the conference include dynamical, topological, ergodic and algebraic aspects of CA and DCS, algorithmic and complexity issues, emergent properties, formal languages, symbolic dynamics, tilings, models of parallelism and distributed systems, timing schemes, synchronous versus asynchronous models, phenomenological descriptions, scientific modeling, and practical applications.
Categories for software engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect.
Case-Based Reasoning Research and Development ; 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast Northern Ireland, UK, August 13-16, 2007 Proceedings
It presented along with three invited talks. The sections address all aspects of case-based reasoning, featuring original theoretical research, applied research, and applications with practical, social, environmental, and economic significance.
Case-based reasoning research and development ; 6th International conference on case-based reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Case-Based Reasoning, ICCBR 2005, held in Chicago, IL, USA, in August 2005. The 19 revised full research papers and 26 revised poster papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 74 submissions. The papers address all current foundational, theoretical and research aspects of case-based reasoning as well as advanced applications either with innovative commercial deployment or practical, social, environmental or economic significance.
Car deal : The ultimate used-cars marketplace
This is an effort to represents the design and implementation of a mobile application that serves as a marketplace for buying and selling used cars. The application is developed using Flutter, a popular cross-platform framework, and integrates an Artificial Intelligence (AI) model to predict the price of used cars based on various parameters, such as the car's model, age, mileage, and condition. The report provides a comprehensive overview of the project's development process, including the use of agile methodology and various technologies, such as Firebase, Python, and TensorFlow. The AI model's accuracy is evaluated using statistical metrics, such as Mean Absolute Error (MAE) and Root Mean Squared Error (RMSE).
Canadian Semantic Web
This book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range of topics includes languages, tools and methodologies for the semantic Web, semantic Web-based ontology management and engineering, semantic Web services, practical applications of the semantic Web techniques, artificial intelligence methods and tools for the semantic Web, software agents on the semantic Web, visualization and modeling of the semantic Web. The goal of this book is to provide a state-of-the-art review of the research as well as to introduce topics of interest to experts.
Calculus : One and several variables
Provides clear calculus content to help them master these concepts and understand its relevance to the real world. Throughout the pages, it offers a perfect balance of theory and applications to elevate their mathematical insights. Readers will also find that the book emphasizes both problem-solving skills and real-world applications.
C++ for Engineers and Scientists
Introduce the power and practicality of C++ programming to entry-level engineers with Bronson's C++ FOR ENGINEERS AND SCIENTISTS, 4E. This proven, pragmatic text is designed specifically for today's first- and second-year engineering and science students with a wealth of new applications and examples taken from real situations involving electrical and structural engineering, fluid mechanics, mathematics, power generation, and heat transfer challenges.
C# 10 Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library
Reviews the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a handy reference. Specifically, unions, generic attributes, CallerArgumentExpression, params span, Records, Init only setters, Top-level statements, Pattern matching enhancements, Native sized integers, Function pointers and more. You will: Employ nullable reference types / Work with ranges and indices / Apply recursive patterns to your applications / Use switch expressions
Business process management Workshops ; BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of 6 internationl workshops held in Brisbane, Australia, in conjunction with the 5th International Conference on Business Process Management, BPM 2007, in September 2007.
Business process management ; Vol. 3649 ; 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings
This volume contains the proceedings of the 3rd International Conference on Business Process Management (BPM 2005), organized by LORIA in Nancy, France, 2005. This year, BPM included several innovations with respect to previous e- tions, most notably the addition of an industrial program and of co-located workshops. This was the logical result of the signi?cant (and still growing) - dustrial interest in the area and of the broadening of the research communities working on BPM topics, includ Information Systems Applications (incl. Internet) / Information Storage and Retrieval / User Interfaces and Human Computer Interaction / Computers and Society / Management of Computing and Information Systems / IT in Business
Business process management ; 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Business Process Management, BPM 2008, held in Milan, Italy, in September 2008.
Business Intelligence for the Real-Time Enterprises ; 1st International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers
The book includes different aspects in the lifecycle of business intelligence on very large enterprise-wide operational real-time data sets. In today’s competitive and highly dynamic environment, analyzing data to und- stand how the business is performing, to predict outcomes and trends, and to improve the effectiveness of business processes underlying business operations has become critical. The traditional approach to reporting is not longer adequate; users now - mand easy-to-use intelligent platforms and applications capable of analyzing real-time business data to provide insight and actionable information at the right time. The end goal is to improve the enterprise performance by better and timelier decision making, enabled by the availability of up-to-date, high-quality information.
Business Information Systems ; 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings
This book contains the refereed proceedings of the 11th International Conference on Business Information Systems, BIS 2008, held in Innsbruck, Austria, in May 2008.
Business Information Systems ; 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings
This volume covers research trends as well as current achievements and cutting-edge developments in the area of modern business information systems. It contiants Business Process Management, Web Services, Ontologies, Information Retrieval, System Design, Agents and Mobile Applications, Decision Support, Social Issues, Specific MIS Issues.
Building the Infrastructure for Cloud Security : A Solutions view
For cloud users and providers alike, security is an everyday concern, yet there are very few books covering cloud security as a main subject. This book will help address this information gap from an Information Technology solution and usage-centric view of cloud infrastructure security. The book highlights the fundamental technology components necessary to build and enable trusted clouds. Here also is an explanation of the security and compliance challenges organizations face as they migrate mission-critical applications to the cloud, and how trusted clouds, that have their integrity rooted in hardware, can address these challenges.
