142
Voted
CASES
2000
ACM
15 years 7 months ago
2000
ACM
111
Voted
CARDIS
2000
Springer
15 years 7 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
CAISE
2000
Springer
15 years 7 months ago
2000
Springer
120
Voted
CA
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper an operational model for the automatic generation of lifelike gestures of an anthropomorphic virtual agent is described. The biologically motivated approach to contr...
147
click to vote
BPM
2000
Springer
15 years 7 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...