4693 search results - page 695 / 939 » Verifying Hybrid Systems |
176
click to vote
CCS
2010
ACM
15 years 9 months ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...
141
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
145
Voted
HOTDEP
2008
15 years 8 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
136
click to vote
NSDI
2008
15 years 8 months ago
2008
We present the design and evaluation of Passport, a system that allows source addresses to be validated within the network. Passport uses efficient, symmetric-key cryptography to ...
167
click to vote
WSC
2008
15 years 8 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...