Information Technology Reference
In-Depth Information
[CAE 91] C
AELEN
J. and C
OUTAZ
J., “Interaction homme-machine multimodale : problèmes
généraux”,
IHM'91
, Dourdan, France, 1991.
[CLA 94]
C
LARKE
E.M.,
G
RUMBERG
O.
and
L
ONG
D.E.,
“Model
checking
and
abstraction”,
ACM Trans. Program. Lang. Syst.
, vol. 16, no. 5, pp. 1512-1542, 1994.
[COU 95] C
OUTAZ
J., N
IGAY
L., S
ALBER
D., B
LANDFORD
A., M
AY
J. and Y
OUNG
R.,
“Four easy pieces for assessing the usability of multimodal interaction: the CARE
properties”, N
ORDBY
K., H
ELMERSEN
P. , G
ILMORE
D. and A
RNESEN
S. (Eds.),
Proceedings of INTERACT '95 - IFIP TC13 Fifth International Conference on
Human-Computer Interaction
, Lillehammer, Norway, pp. 115-120, Chapman & Hall,
London, June, 1995.
[DAL 96] D
ALAL
M., F
EINER
S., M
C
K
EOWN
K., P
AN
S., Z
HOU
M., H
ÖLLERER
T.,
S
HAW
J., F
ENG
Y. and F
ROMER
J., “Negotiation for automated generation of temporal
multimedia presentations”,
ACMMultimedia'96
, Boston, USA, pp. 55-64, November 1996.
[DEM 92] D
E
M
EER
J., R
OTH
R. and V
UONG
S., “Introduction to algebraic specifications
based on the language ACT ONE”,
Computer Networks and ISDN Systems
, vol. 23, no. 5,
pp. 363-392, Elsevier Science Publishers B.V., 1992.
[EIJ 89]
VA N
E
IJK
P. H . J . , V
ISSERS
C.A. and D
IAZ
M.,
Formal Description Technique Lotos:
Results of the Esprit Sedos Project
, Elsevier Science Inc., New York, NY, USA, 1989.
[ELL 97] E
LLSBERGER
J., H
OGREFE
D. and S
ARMA
.A.,
SDL: Formal Object-Oriented
Language for Communicating System
, Prentice Hall PTR, 1997.
[EST 97] E
STELLE
, ISO 9074, A formal description technique based on an extended state
transition model, 1997.
[FAS 96] F
ASCIANO
M. and L
APALME
G., “PostGraphe: a system for the generation of
statistical graphics and text”,
Workshop on Natural Language Generation
, Sussex, UK,
pp. 51-60, 1996.
[FEI 91] F
EINER
S.K. and M
C
K
EOWN
K.R., “Automating the generation of coordinated
multimedia explanations”,
Computer
, vol. 24, no. 10, pp. 33-41, IEEE Computer Society
Press, 1991.
[GOR 93] G
ORDON
M.J.C. and M
ELHAM
T.F.,
Introduction to HOL
,
A Theorem Proving
Environment for Higher Order Logic
, Cambridge University Press, 1993.
[HAL 91] H
ALBWACHS
N., C
ASPI
P. , R
AYMOND
P. and P
ILAUD
D., “The synchronous
dataflow programming language LUSTRE”,
Proceedings of the IEEE
, vol. 79, no. 9,
September 1991.
[HOA 69]
H
OARE
C.A.R.,
“An
axiomatic
basis
for
computer
programming”,
Communications of the ACM
, vol. 12, no. 10, pp. 576-580, 1969.
[HOL 91]
H
OLZMANN
G.J.,
Design and Validation of Computer Protocols
, Prentice Hall Int.,
1991.