Results 1 - 10 of 4,662

Formalising Graphical Behaviour Descriptions

by Kenneth J. Turner - 10 th Int. Conf. on Algebraic Methodology and Software Technology, 537-552, Elsevier Science Publishers , 2004
"... Abstract. CRESS (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages. Plug-in frameworks adapt it for particular application domains such as Intelligent Networks, Internet Telephony and Interactive ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
Abstract. CRESS (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages. Plug-in frameworks adapt it for particular application domains such as Intelligent Networks, Internet Telephony and Interactive

A quantitative description of membrane currents and its application to conduction and excitation in nerve

by A. L. Hodgkin, A. F. Huxley - Journal of Physiology , 1952
"... This article concludes a series of papers concerned with the flow of electric current through the surface membrane of a giant nerve fibre (Hodgkin, Huxley & Katz, 1952; Hodgkin & Huxley, 1952 a-c). Its general object is to discu the results of the preceding papers (Part I), to put them into ..."
Abstract - Cited by 1924 (2 self) - Add to MetaCart
into mathematical form (Part II) and to show that they will account for con-duction and excitation in quantitative terms (Part III). PART I. DISCUSSION OF EXPERIMENTAL RESULTS The results described in the preceding papers suggest that the electrical behaviour of the membrane may be represented by the network shown

Behavioural Descriptions From Image Sequences

by Hilary Buxton, Richard Howarth - In Proceedings of Workshop on Integration of Natural and Vision Processing Language , 1994
"... This paper reviews research that addresses the problems of extracting descriptions of object behaviour from image sequences. Vision systems are now capable of delivering trajectory-based descriptions of moving objects in a scene but little work has been done on the higher-level spatio-temporal reaso ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
This paper reviews research that addresses the problems of extracting descriptions of object behaviour from image sequences. Vision systems are now capable of delivering trajectory-based descriptions of moving objects in a scene but little work has been done on the higher-level spatio

A Theory of Diagnosis from First Principles

by Raymond Reiter - ARTIFICIAL INTELLIGENCE , 1987
"... Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain ..."
Abstract - Cited by 1120 (5 self) - Add to MetaCart
Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally

Implementation and Test of Demand Response using Behaviour Descriptions

by D ; Kullmann , O ; Gehrke , H W Bindner , 2011
"... Abstract-The term Smart Grid describes the effort to enable the integration of large numbers of renewable distributed energy resources into the power grid. The fluctuations inherent in renewable energy resources imply the need to also integrate the demand side actively into the control of the power ..."
Abstract - Add to MetaCart
of the power system. For this effort to succeed, a new control infrastructure has to be put into place. The power system is a distributed system, and it needs a sophisticated communication framework to cope with communication problems, such as delays and failures. Recently, behaviour descriptions have been

Bounded Analysis and Decomposition for Behavioural Descriptions of Components

by Pascal Poizat, Jean-claude Royer, Gwen Salaün - In International Poizat P., Royer J.-C.: A Formal Architectural Description Language ... Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’06 , 2006
"... Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages should be able to deal with data types and with rich communication means. Symbolic Transition Systems (STS) support the defin ..."
Abstract - Cited by 12 (6 self) - Add to MetaCart
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages should be able to deal with data types and with rich communication means. Symbolic Transition Systems (STS) support

RGBDF: Resource Goal and Behaviour Description Framework

by Olena Kaykova, Oleksiy Khriyenko, Vagan Terziyan, Andriy Zharko - In: M. Bramer and V. Terziyan (Eds.): Industrial Applications of Semantic Web, Proceedings of the 1-st International IFIP/WG12.5 Working Conference IASW-2005 , 2005
"... Abstract: Agent-oriented approach has proven to be very efficient in engineering complex distributed software environments with dynamically changing conditions. The efficiency of underlying modelling framework for this domain is undoubtedly of a crucial importance. Currently, a model-driven architec ..."
Abstract - Cited by 9 (8 self) - Add to MetaCart
-driven architecture has been the most popular and developed for purposes of modelling different aspects of multi-agent systems, including behaviour of individual agents. UML is utilized as a basis for this modelling approach and variety of existing UML-based modelling tools after slight extension are reused

Saudi Consumer‟s Shopping Behaviour: Descriptive Analysis

by Universiti Utara, Kausar Yasmeen, Ph. D Scholar Universiti Utara
"... Studies that link customer service to factors such as demographic, psychographic characteristics and store format choice are rather limited and under studied despite the fact of the discovery that individual characteristics of consumers influence their shopping behaviour. Despite its importance and ..."
Abstract - Add to MetaCart
Studies that link customer service to factors such as demographic, psychographic characteristics and store format choice are rather limited and under studied despite the fact of the discovery that individual characteristics of consumers influence their shopping behaviour. Despite its importance

Synchronization Specifications for Agents with Net-based Behaviour Description

by Tom Holvoet, Pierre Verbaeten , 1996
"... Cooperative and multi-agent systems are (mostly open) systems consisting of multiple agents that coordinate in order to achieve a common goal. Petri nets are a highly expressive and visual formalism for specifying concurrent systems. Combining agents and nets means pursuing the specification of ag ..."
Abstract - Add to MetaCart
their situations in which they are preferred over others for modelling concurrent behaviour. This...

A software framework for matchmaking based on semantic web technology

by Lei Li, Ian Horrocks , 2003
"... An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardisation of ontologies, message content and message protocols will be necessary. In this paper we investigate how Semantic and Web Services technologies can be ..."
Abstract - Cited by 398 (5 self) - Add to MetaCart
of service descriptions, the matchmaker enables the behaviour of an intelligent agent to approach more closely that of a human user trying to locate suitable web services. We also present the results of initial experiments testing the performance of this prototype implementation in a realistic agent based e
Results 1 - 10 of 4,662