104
click to vote
JCDCG
2000
Springer
15 years 7 months ago
2000
Springer
Measuring cups are everyday instruments used to measure a required amount of liquid for many common tasks such as cooking, . . . etc. A measuring cup usually has gradations marked ...
187
click to vote
JAVACARD
2000
15 years 7 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
102
Voted
JAVACARD
2000
15 years 7 months ago
2000
117
Voted
JAVACARD
2000
15 years 7 months ago
2000
121
Voted
JAVACARD
2000
15 years 7 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...