3863 search results - page 307 / 773 » Function in Device Representation |
176
click to vote
AUSAI
1998
Springer
15 years 11 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
190
click to vote
ICFEM
1998
Springer
15 years 11 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
164
click to vote
ICDE
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper presents four implementations for support of large objects in POSTGRES. The four implementations offer varying levels of support for security, transactions, compression...
164
click to vote
ITC
1995
IEEE
15 years 10 months ago
1995
IEEE
An experiment has been designed to evaluate multiple testing techniques for combinational circuits. To perform the experiment, a 25k gate CMOS Test Chip has been designed, manufac...
160
Voted
AAI
2007
15 years 6 months ago
2007
Responsive environments are physical surroundings whose components change their behaviour to accommodate the presence of people as well as other components. We describe a means to...