Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October 2015. The 57 revised full papers presented together with 22 short papers and 5 keynotes were carefully selected and reviewed from 247 submissions. The papers are organized in topical sections on formal reasoning and ontologies; knowledge management and concept analysis; knowledge discovery and recognition methods; text mining and analysis; recommendation algorithms and systems; machine learning algorithms; detection methods and analysis; classification and clustering; mobile data analytics and knowledge management; bioinformatics and computational biology; and evidence theory and its application.

Applied Physics --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Algorithms. --- Artificial intelligence. --- Computer graphics. --- Image processing. --- Pattern recognition. --- Computer Science. --- Image Processing and Computer Vision. --- Artificial Intelligence (incl. Robotics). --- Pattern Recognition. --- Computer Graphics. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorism --- Algebra --- Arithmetic --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Digital techniques --- Foundations --- Distributed processing --- Computer vision. --- Optical pattern recognition. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Pattern perception --- Perceptrons --- Visual discrimination --- Machine vision --- Vision, Computer --- Artificial intelligence --- Pattern recognition systems --- Knowledge representation (Information theory) --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Optical equipment

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrators, and software developers. This book documents the main results of Sensoria, an Integrated Project funded by the European Commission in the period 2005-2010. The book presents, as Sensoria's essence, a novel, coherent, and comprehensive approach to the design, formal analysis, automated deployment, and reengineering of service-oriented applications. Following a motivating introduction, the 32 chapters are organized in the following topical parts: modeling in service-oriented architectures; calculi for service-oriented computing; negotiation, planning, and reconfiguration; qualitative analysis techniques for SOC; quantitative analysis techniques for SOC; model-driven development and reverse engineering for service-oriented systems; and case studies and patterns.

Programming --- Computer. Automation --- programmeertalen --- software engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Global computing refers to computation over global computers,  i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.

Ergodic theory. Information theory --- Complex analysis --- Mathematical control systems --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- coderen --- MIS (management informatie systeem) --- cryptografie --- complexe analyse (wiskunde) --- computers --- informatica --- software engineering --- algoritmen --- informatica management --- computernetwerken --- computerkunde --- informatietheorie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commission has established two Coordinated Actions: Initially the project `Beyond the Horizon' and then, starting in 2006, the project `InterLink'. This state-of-the-art survey presents the results of three workshops of the InterLink working group on software-intensive systems and novel computing paradigms. The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence. The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The remainder of the book consists of 15 invited papers of the working group participants and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing.

Software engineering --- Artificial intelligence --- Information Technology --- Software Engineering --- Software engineering. --- Computer science. --- Logic design. --- Computer Communication Networks. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Computer systems. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer communication systems. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Information networks --- Telecommunication --- Electronic data processing --- Network computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Distributed processing --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer software --- Computer science --- Abstract data types (Computer science) --- Computer Science --- Engineering & Applied Sciences --- Development --- Mathematics --- Computer science. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Computer Science, general. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Mathematics. --- Logic design. --- Algebra --- Data processing. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Computer science—Mathematics. --- Computer science logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism