4693 search results - page 497 / 939 » Verifying Hybrid Systems |
196
click to vote
COMCOM
2000
15 years 6 months ago
2000
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...
221
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
146
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We present an authenticable graphical barcode symbology, and describe a system for its reliable encoding and decoding. The graphical barcode is generated by modulating halftone pa...
151
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
—We are developing robots for inspection of the under floor of houses. The developed robot system is reported in this paper. The mobile robot platform is based on a crawer type r...
207
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...