Result 1 to 20 of 181 total
Protection of SCADA communication channels. (English)
Lopez, Javier (ed.) et al., Critical infrastructure protection. Information infrastructure models, analysis, and defense. Berlin: Springer (ISBN 978-3-642-28919-4/pbk). Lecture Notes in Computer Science 7130, 177-196 (2012).
1
Sicherheit, Schutz und Zuverlässigkeit (SICHERHEIT 2012). (German)
Lect. Notes Inform. 195. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-289-5). 256~p. (2012).
2
Fork-consistent constructions from registers. (English)
Fernández Anta, Antonio (ed.) et al., Principles of distributed systems. 15th international conference, OPODIS 2011, Toulouse, France, December 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25872-5/pbk). Lecture Notes in Computer Science 7109, 283-298 (2011).
3
Application-level diagnostic and membership protocols for generic time-triggered systems (English)
IEEE Trans. Dependable Sec. Comput. 8, No. 2, 177-193 (2011).
4
Automated conflict resolution utilizing probability collectives optimizer (English)
IEEE Transactions on Systems, Man, and Cybernetics, Part C 41, No. 3, 365-375 (2011).
5
TOM: topology oriented maintenance in sparse wireless sensor networks (English)
SECON, 548-556 (2011).
6
Supporting domain-specific state space reductions through local partial-order reduction (English)
ASE, 113-122 (2011).
7
Efficient model checking of fault-tolerant distributed protocols (English)
DSN, 73-84 (2011).
8
Fork-consistent constructions from registers (English)
OPODIS, 283-298 (2011).
9
Enhancing FPGA robustness via generic monitoring IP cores (English)
PECCS, 379-386 (2011).
10
The complexity of robust atomic storage (English)
PODC, 59-68 (2011).
11
Fork-consistent constructions from registers (English)
PODC, 209-210 (2011).
12
A security metrics framework for the cloud (English)
SECRYPT, 245-250 (2011).
13
An adaptive and composite spatio-temporal data compression approach for wireless sensor networks (English)
MSWiM, 67-76 (2011).
14
The impact of fault models on software robustness evaluations (English)
ICSE, 51-60 (2011).
15
io-port 05814877 Eckel, Andreas;
Milbredt, Paul;
Al-Ars, Zaid;
Schneele, Stefan;
Vermeulen, Bart;
Csertán, György;
Scheerer, Christoph;
Suri, Neeraj;
Khelil, Abdelmajid;
Fohler, Gerhard;
Obermaisser, Roman;
Fidi, Christian
INDEXYS, a logical step beyond GENESYS. (English)
Schoitsch, Erwin (ed.), Computer safety, reliability, and security. 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15650-2/pbk). Lecture Notes in Computer Science 6351, 431-451 (2010).
16
Profiling the operational behavior of OS device drivers. (English)
Empir. Softw. Eng. 15, No. 4, 380-422 (2010).
17
Increasing the resilience of critical SCADA systems using peer-to-peer overlays. (English)
Giese, Holger (ed.), Architecting critical systems. First international symposium, ISARCS 2010, Prague, Czech Republic, June 23‒25, 2010 Proceedings. Berlin: Springer (ISBN 978-3-642-13555-2/pbk). Lecture Notes in Computer Science 6150, 161-178 (2010).
18
On efficient models for model checking message-passing distributed protocols. (English)
Hatcliff, John (ed.) et al., Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7‒9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13463-0/pbk). Lecture Notes in Computer Science 6117, 216-223 (2010).
19
Using underutilized CPU resources to enhance its reliability (English)
IEEE Trans. Dependable Sec. Comput. 7, No. 1, 94-109 (2010).
20
Result 1 to 20 of 181 total
Start
Contact
Print
General Help
