740 search results - page 148 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ECRTS
2007
IEEE
13 years 9 months ago
2007
IEEE
In this paper we study the soft real-time web cluster architecture needed to support e-commerce and related applications. Our testbed is based on an industry standard, which defin...
EDOC
2006
IEEE
13 years 9 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we describe the development of an Embodied Conversational Agent (ECA) implementing the concept of a companion, i.e. an agent supporting the persistent representatio...
BMCBI
2007
13 years 5 months ago
2007
Background: Recognition of binding sites in proteins is a direct computational approach to the characterization of proteins in terms of biological and biochemical function. Residu...
COMCOM
2008
13 years 5 months ago
2008
In this paper, we address the problem of increasing the effectiveness of an intrusion detection system (IDS) for a cluster of nodes in ad hoc networks. To reduce the performance o...