الصفحة 10
الصفحة 10
Semantic Service Provisioning
This book introduces advanced concepts in service provisioning and service engineering, including semantic concepts, dynamic discovery and composition, and illustrates them in a concrete business use case scenario. To prove the validity of the concepts and technologies, a semantic service provisioning reference architecture framework as well as a prototypical implementation of its subsystems and a prototypical realization of a proper business scenario are presented. Thus the book goes way beyond current service-based software technologies by providing a coherent and consistent set of technologies and systems functionality that realizes advanced concepts in service provisioning.
Semantic Multimedia and Ontologies : Theory and Applications
Taking a step-by-step approach, and drawing on the expertise of key researchers in the multimedia and knowledge domains, this book guides the reader through the fundamental enabling technologies of ontologies (for example MPEG-7 and OWL), analysis, context and reasoning, to commercially interesting applications including personalised content summarisation, 3D modelling and management of scientific data. All relevant topics are covered; including ontologies for low level multimedia feature representation, higher level multimedia systems representations, application of multimedia ontologies for visual analysis, and usage of multimedia and knowledge technologies for applications. The authors aggregate relevant disciplines including knowledge representation, multidimensional signal processing, logic, artificial intelligence and machine learning to provide a coherent picture of the different strands of research that need to be combined in order to achieve semantic multimedia applications.
Semantic Grid : Model, Methodology, and Applications
Semantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications. First, scientific issues of semantic grid systems are covered, followed by two basic technical issues, data-level semantic mapping, and service-level semantic interoperating. Two killer applications are then introduced to show how to build a semantic grid for specific application domains.
Self-Organizing Natural Intelligence : Issues of Knowing, Meaning, and Complexity
This book proposes, utilizes, and demonstrates the research superiority of a highly developed multidisciplinary theory models approach to intelligence. With conceptual tools, concepts and mathematical methods more suited to continuous, dynamic phenomena of living things, the entire scope of natural intelligence based upon empirical studies of actual human and animal experience is addressed. Results show that human and animal intelligence is largely self-organizing and emergent across a spectrum of major categories of kinds of natural intelligence, not limited to a single "top down" capacity as current proponents of the single-capacity g-theory and IQ approach support.
Security of Networks and Services in an All-Connected World ; 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings
This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, held in Zurich, Switzerland, in July 2017.The 8 full papers presented together with 11 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in the following topical sections: security management; management of cloud environments and services, evaluation and experimental study of rich network services; security, intrusion detection, and configuration; autonomic and self-management solutions; and methods for the protection of infrastructure.
Security and Privacy in the Age of Ubiquitous Computing ; IFIP TC11 20th International Information Security Conference, May 30 - June 1, 2005, Chiba, Japan
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.
Security and privacy in social networks and big data ; 6th International symposium, SocialSec 2020, Tianjin, China, September 26–27, 2020, Proceedings
This book constitutes revised and selected papers from the 6th International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2020, held in Tianjin, China, in September 2020. The 38 full papers presented in this volume were carefully reviewed and selected from a total of 111 submissions. The papers are organized according to the topical sections on big data security; social networks; privacy-preserving and security.
Security and Privacy in Dynamic Environments ; Proceedings of the IFIP TC-11 21st International Information Security Conference (SEC 2006), 22-24 May 2006, Karlstad, Sweden
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.
Security and privacy in digital economy ; 1st International Conference, SPDE 2020, Quzhou, China, October 30 – November 1, 2020, Proceedings
Constitutes the refereed proceedings of the First International Conference on Security and Privacy in Digital Economy, SPDE 2020, held in Quzhou, China, in October 2020*. The 49 revised full papers and 2 short papers were carefully reviewed and selected from 132 submissions. The papers are organized in topical sections: cyberspace security, privacy protection, anomaly and intrusion detection, trust computation and forensics, attacks and countermeasures, covert communication, security protocol, anonymous communication, security and privacy from social science.
Security and Privacy in Communication Networks ; 16th EAI International Conference, SecureComm 2020, Washington, DC, USA, October 21-23, 2020, Proceedings, Part II
This two-volume set LNICST 335 and 336 constitutes the post-conference proceedings of the 16th International Conference on Security and Privacy in Communication Networks, SecureComm 2020, held in Washington, DC, USA, in October 2020. The conference was held virtually due to COVID-19 pandemic. The 60 full papers were carefully reviewed and selected from 120 submissions. The papers focus on the latest scientific research results in security and privacy in wired, mobile, hybrid and ad hoc networks, in IoT technologies, in cyber-physical systems, in next-generation communication systems in web and systems security and in pervasive and ubiquitous computing.
Security and Privacy in Communication Networks ; 16th EAI International Conference, SecureComm 2020, Washington, DC, USA, October 21-23, 2020, Proceedings, Part I
This two-volume set LNICST 335 and 336 constitutes the post-conference proceedings of the 16th International Conference on Security and Privacy in Communication Networks, SecureComm 2020, held in Washington, DC, USA, in October 2020. The conference was held virtually due to COVID-19 pandemic. The 60 full papers were carefully reviewed and selected from 120 submissions. The papers focus on the latest scientific research results in security and privacy in wired, mobile, hybrid and ad hoc networks, in IoT technologies, in cyber-physical systems, in next-generation communication systems in web and systems security and in pervasive and ubiquitous computing.
Secure and Smart Internet of Things (IoT) Using Blockchain and AI
Up to 28 billion devices will be connected to the Internet with only one third of them being computers, smartphones and tablets. The remaining two thirds will be other "devices"--Sensors, terminals, household appliances, thermostats, televisions, automobiles, production machinery, urban infrastructure and many other "things"--which traditionally have not been Internet enabled. This "Internet of Things" (IoT) represents a remarkable transformation of the way in which our world will soon interact. Much like the World Wide Web connected computers to networks, and the next evolution connected people to the Internet and other people, IoT looks poised to interconnect devices, people, environments, virtual objects and machines in ways that only science fiction writers could have imagined.
Secondary Analysis of Electronic Health Records
This book trains the next generation of scientists representing different disciplines to leverage the data generated during routine patient care. It formulates a more complete lexicon of evidence-based recommendations and support shared, ethical decision making by doctors with their patients. Diagnostic and therapeutic technologies continue to evolve rapidly, and both individual practitioners and clinical teams face increasingly complex ethical decisions. Unfortunately, the current state of medical knowledge does not provide the guidance to make the majority of clinical decisions on the basis of evidence.
Scientific Methods in Mobile Robotics : Quantitative Analysis of Agent Behaviour
This book presents cutting-edge research results on the application of chaos theory, parametric and non-parametric statistics and dynamical systems theory in mobile robotics. It presents foundations of a theory of mobile robotics by providing a quantitative analysis of the interaction between robot, task and environment.
Scientific applications of grid computing ; First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers
This workshop was held in September 2004, in conjunction with the 2004 IEEE/WIC/ACM International Joint Conference on Web Intelligence (WI 2004) and Intelligent Agent Technology (IAT 2004). The WI and IAT conferences have provided, for several years, a leading international forum to bring together researchers and practitioners from diverse fields, such as computer science, information technology, business, education, human factors, systems engineering, and robotics, to explore the fundamental roles as well as practical impacts of artificial intelligence (AI) (e.g., knowledge representation, planning, knowledge discovery, and data mining, intelligent agents and social network intelligence) and advanced information technology (IT) (e.g., wireless networks, ubiquitous devices, social networks, the Wisdom Web, and data/knowledge grids), and to examine the design principles and performance characteristics of various approaches in intelligent agent technology.
Science and Technologies for Smart Cities ; 5th EAI International Summit, SmartCity360, Braga, Portugal, December 4-6, 2019, Proceedings
Constitutes the refereed proceedings of the 5th Annual Smart City 360° Summit, held in Braga, Portugal, in December 2019. The volume combines selected papers of four conferences, namely IoT in Urban Space, Urb-IoT 2019, Smart Governance for Sustainable Smart Cities, SmartGov 2019, Sensor Systems and Software, S-Cube 2019, and Intelligent Technologies for Interactive Entertainment, Intetain 2019. The 5 keynote and 32 conference papers presented were carefully reviewed and selected from 113 submissions and present results of multidisciplinary scientific and industry collaboration to solve complex societal, technological and economic problems Smart Cities. As such, the main goals are to promote quality of life, work conditions, mobility and sustainability.
Scaling Topic Maps ; 3rd International Conference on Topic Maps Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers
Organized in topical sections on applied topic maps in industry and administration, visualisation and representation of topic maps, collaborative applications, standards related research, information integration with topic maps, social software with topic maps, topic maps engines, topic maps and dublin core, information management with topic maps, as well as open space and poster sessions.
Scalable Uncertainty Management ; 2nd International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings
The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical techniques required to manage the uncertainty that arises in large scale real world applications and to cope with large volumes of uncertainty and inconsistency in databases, the Web, the semantic Web, and artificial intelligence in general.
Scalable Uncertainty Management ; 1st International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceeding
This book constitutes the refereed proceedings of the First International Conference on Scalable Uncertainty Management, SUM 2007, held in Washington, DC, USA, in October 2007. The papers address artificial intelligence researchers, database researchers and practitioners.
SAT 2005 ; Satisfiability Research in the Year 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning problems in automated deduction are propositional. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. In 1957, Allen Newell and Herb Simon introduced the Logic Theory Machine to prove propositional theorems from Whitehead and Russel's "Principia mathematica".
