1353 search results - page 255 / 271 » Securing Current and Future Process Control Systems |
111
click to vote
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— In current conventional method, the sewer pipe inspection is undertaken using a cable-tethered robot with an on-board video camera system, completely, tele-operated by human op...
101
click to vote
DGO
2007
15 years 1 months ago
2007
Significant efforts are currently being pursued by several countries and IT providers to deploy SOA (Service Oriented Architecture) designs of digital government systems that inte...
106
click to vote
HPDC
2010
IEEE
15 years 24 days ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
SASO
2009
IEEE
15 years 6 months ago
2009
IEEE
We investigate a generic self-adaptation method to reduce the design effort for System-on-Chip (SoC). Previous self-adaptation solutions at chip-level use circuitries which have b...
103
click to vote
FAC
2007
14 years 11 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...