55 search results - page 2 / 11 » A Review of Formalisms for Describing Interactive Behaviour |
AMAST
2004
Springer
13 years 10 months ago
2004
Springer
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
ICSE
1994
IEEE-ACM
13 years 9 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
JCB
2002
13 years 4 months ago
2002
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
CORR
2004
Springer
13 years 5 months ago
2004
Springer
In this paper, we describe the Rich Representation Language (RRL) which is used in the NECA system. The NECA system generates interactions between two or more animated characters....