3863 search results - page 726 / 773 » Function in Device Representation |
124
click to vote
ITC
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital c...
177
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
124
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
The Patient Advocate is designed to be an intelligent assistant for patient-centered health care. Residing on a home computer or special-purpose device and operating within an ext...
158
click to vote
ADB
1994
15 years 8 months ago
1994
Database applications and technologies are of central importance in many information systems a person may encounter. To obtain services, the end-users are required a smart card (pl...
172
Voted
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...