2373 search results - page 124 / 475 » A Model of Facial Behaviour |
129
click to vote
CAAN
2004
Springer
15 years 9 months ago
2004
Springer
We consider a generalized copy model of the web graph and related networks, and analyze its limiting behaviour. The model is motivated by previously proposed copying models of the ...
107
click to vote
DSVIS
1995
Springer
15 years 8 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
129
click to vote
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
134
click to vote
FORTE
1997
15 years 5 months ago
1997
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...
116
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...