438 search results - page 48 / 88 » Defending Critical Infrastructure |
DEBS
2003
ACM
14 years 2 months ago
2003
ACM
Database systems have been designed to manage business critical information and make this information accessible on request to connected clients. There is, however, an ever-increa...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
The Border Gateway Protocol (BGP), which is used to distribute routing information between autonomous systems, is an important component of the Internet’s routing infrastructure...
CAV
1998
Springer
14 years 1 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
ESCIENCE
2007
IEEE
13 years 10 months ago
2007
IEEE
— The environmental science and engineering communities are actively engaged in planning and developing the next generation of large-scale sensor-based observing systems. These s...
FMICS
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...