We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:

Search Results

Showing 1-20 of 27 results
  1. Monitoring of an Artificial DNA in Dynamic Environments

    In the last decade, bio-inspired techniques like self-organization and emergence have been in the focus of several research projects to deal with the...
    Conference paper 2023
  2. The Future of Blockchain

    Blockchain's current uses demonstrate potential for enhancing efficiencies and patient-centered solutions in life sciences research. For blockchain...
    Wendy M. Charles in Blockchain in Life Sciences
    Chapter 2022
  3. GUI Enabled Optimized Approach of CNN for Automatic Diagnosis of COVID-19 Using Radiograph Images

    World Health Organization (WHO) proclaimed the Corona virus (COVID-19) as a pandemic, since it contaminated billions of individuals and killed lakhs....

    Chalapathiraju Kanumuri, Renu Madhavi Chodavarapu in New Generation Computing
    Article 13 March 2023
  4. Security assurance cases—state of the art of an emerging approach

    Security Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. After the successful...

    Mazen Mohamad, Jan-Philipp Steghöfer, Riccardo Scandariato in Empirical Software Engineering
    Article Open access 18 May 2021
  5. Philosophical and Social Realm

    Let us begin by considering an individual’s perception of oneself, the perception of one’s own mind and the mind of others, notions related to what...
    Boris Aberšek, Andrej Flogie, Igor Pesek in AI and Cognitive Modelling for Education
    Chapter 2023
  6. A privacy-aware deep learning framework for health recommendation system on analysis of big data

    In recent technological advancement, the health recommendation system is gaining attention among the public to acquire health care services online....

    T. Mahesh Selvi, V. Kavitha in The Visual Computer
    Article 19 January 2021
  7. Middleware Support for Self-aware Computing Systems

    The implementation of a distributed self-aware computing system (SACS) typically requires a substantial software infrastructure. A middleware system...
    Jennifer Simonjan, Bernhard Dieber, Bernhard Rinner in Self-aware Computing Systems
    Chapter 2016
  8. Design Patterns and Primitives: Introduction of Components and Patterns for SACS

    When faced with the task of designing and implementing self-aware and self-expressive computing systems, researchers and practitioners need...
    Tao Chen, Funmilade Faniyi, Rami Bahsoon in Self-aware Computing Systems
    Chapter 2016
  9. Improved modeling of intelligent tutoring systems using ant colony optimization

    Swarm intelligence approaches, such as ant colony optimization (ACO), are used in adaptive e-learning systems and provide an effective method for...

    Mahin Rastegarmoghadam, Koorush Ziarati in Education and Information Technologies
    Article Open access 04 March 2016
  10. Reversible client/server interactions

    In the setting of session behaviours , we study an extension of the concept of compliance when a disciplined form of backtracking and of output...

    Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro in Formal Aspects of Computing
    Article 24 February 2016
  11. On applying stochastic network calculus

    Performance evaluation plays a crucial role in the design of network systems. Many theoretical tools, including queueing theory, effective bandwidth...

    Chuang Lin, Yi** Deng, Yuming Jiang in Frontiers of Computer Science
    Article 23 November 2013
  12. Formalising Security in Ubiquitous and Cloud Scenarios

    We survey some critical issues arising in the ubiquitous computing paradigm, in particular the interplay between context-awareness and security. We...
    Chiara Bodei, Pierpaolo Degano, ... Gianluca Mezzetti in Computer Information Systems and Industrial Management
    Conference paper 2012
  13. Activity-Based Advertising

    This chapter discusses Activity-based Advertising, an approach to more accurately target advertisements by inferring a consumer’s activities. This...
    Kurt Partridge, Bo Begole in Pervasive Advertising
    Chapter 2011
  14. Model Checking Recursive Programs with Numeric Data Types

    Pushdown systems (PDS) naturally model sequential recursive programs. Numeric data types also often arise in real-world programs. We study the...
    Matthew Hague, Anthony Widjaja Lin in Computer Aided Verification
    Conference paper 2011
  15. Proximity-Based Federation of Smart Objects: Liberating Ubiquitous Computing from Stereotyped Application Scenarios

    This paper proposes three new formal models of autonomic proximity-based federation among smart objects with wireless network connectivity and...
    Conference paper 2010
  16. Semantically-based crossover in genetic programming: application to real-valued symbolic regression

    We investigate the effects of semantically-based crossover operators in genetic programming, applied to real-valued symbolic regression problems. We...

    Nguyen Quang Uy, Nguyen Xuan Hoai, ... Edgar Galván-López in Genetic Programming and Evolvable Machines
    Article 30 July 2010
  17. Distributed Event Routing in Publish/Subscribe Systems

    Since the early nineties, anonymous and asynchronous dissemination of information has been a basic building block for typical distributed...
    Roberto Baldoni, Leonardo Querzoni, ... Antonino Virgillito in Middleware for Network Eccentric and Mobile Applications
    Chapter 2009
  18. Turn Taking for Artificial Conversational Agents

    In this paper we describe the design of a turn manager for deployment in artificial conversational agents, using the Harel statechart formalism. We...
    Conference paper 2006
  19. Using Clustering Information for Sensor Network Localization

    Sensor network localization continues to be an important research challenge. The goal of localization is to assign geographic coordinates to each...
    Haowen Chan, Mark Luk, Adrian Perrig in Distributed Computing in Sensor Systems
    Conference paper 2005
Did you find what you were looking for? Share feedback.