6796 search results - page 993 / 1360 » Java for Embedded Systems |
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
108
click to vote
ACS
2006
15 years 4 months ago
2006
We have introduced, in a previous paper, the fundamental lax 2-category of a `directed space' X. Here we show that, when X has a T1-topology, this structure can be embedded i...
108
click to vote
JCP
2008
15 years 4 months ago
2008
Implantable pacemaker is a battery operated real time embedded system, which includes software/hardware codesign strategy. As it is placed within the heart by surgery, battery life...
161
click to vote
MMS
2008
15 years 4 months ago
2008
Digital fingerprinting has been suggested for copyright protection. Using a watermarking scheme, a fingerprint identifying the buyer is embedded in every copy sold. If an illegal c...
144
click to vote
IJNSEC
2007
15 years 4 months ago
2007
Data-dependent (DD) permutations (DDP) are discussed as a cryptographic primitive for the design of fast hardware, firmware, and software encryption systems. DDP can be performed...