| |
Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'., Twenty-Fifth International Symposium on In Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'., Twenty-Fifth International Symposium on (06 August 2002), 2.
|
| |
AIAA Journal of Spacecraft and Rockets, Vol. 41 (2004), pp. 564-575.
|
| |
IEEE Transactions on Dependable and Secure Computing In Dependable and Secure Computing, IEEE Transactions on, Vol. 1, No. 1. (January 2004), pp. 11-33.
|
| |
In PODC '01: Proceedings of the twentieth annual ACM symposium on Principles of distributed computing (2001)
|
| |
Software Engineering and Advanced Applications, 2008. SEAA '08. 34th Euromicro Conference In Software Engineering and Advanced Applications, 2008. SEAA '08. 34th Euromicro Conference (2008), pp. 353-360.
|
| |
Commun. ACM, Vol. 52, No. 4. (2009), pp. 78-88.
|
| |
Commun. ACM, Vol. 36, No. 11. (November 1993), pp. 69-80.
|
| |
Architecting Dependable Systems In Architecting Dependable Systems (2003), pp. 61-89.
|
| |
The 23rd Digital Avionics Systems Conference (DASC 04) In The 23rd Digital Avionics Systems Conference (DASC 04), Vol. 2 (2004), pp. 10.B.4-1-10.B.4-10.
|
| |
J. ACM, Vol. 32, No. 2. (April 1985), pp. 374-382.
|
| |
USENIX 2005 Annual Technical Conference, General Track, pp. 1-15.
|
| |
In USENIX Symposium on Operating Systems Design and Implementation(OSDI) (2004)
|
| |
In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles (2003), pp. 253-267.
|
| |
Computer Architecture, 2002. Proceedings. 29th Annual International Symposium on In Computer Architecture, 2002. Proceedings. 29th Annual International Symposium on (2002), pp. 99-110.
|
| |
Internet Computing, IEEE, Vol. 5, No. 4. (2001), pp. 46-55.
|
| |
In SOSP '01: Proceedings of the eighteenth ACM symposium on Operating systems principles, Vol. 35, No. 5. (December 2001), pp. 57-72.
|
| |
Dependable and Secure Computing, IEEE Transactions on, Vol. 1, No. 1. (2004), pp. 11-33.
|
| |
Commun. ACM, Vol. 34, No. 2. (February 1991), pp. 56-78.
|
| |
Parallel and Distributed Systems, IEEE Transactions on, Vol. 10, No. 6. (1999), pp. 642-657.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 26, No. 9. (2000), pp. 888-906.
|
| |
Middleware 2007 (2007), pp. 308-327.
|
| |
|
| |
Architecting Dependable Systems III (2005), pp. 173-193.
|
| |
In SEPCASE '07: Proceedings of the 1st International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (2007)
|
| |
In HotDep'07: Proceedings of the 3rd workshop on on Hot Topics in System Dependability (2007)
|
| |
Reliability, IEEE Transactions on In Reliability, IEEE Transactions on, Vol. 50, No. 3. (2001), pp. 246-264.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 16, No. 2. (06 August 2002), pp. 166-182.
|
| |
CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings. In CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings. (1991), pp. 336-344.
|
| |
Software Reliability Engineering, 1995. Proceedings., Sixth International Symposium on In Software Reliability Engineering, 1995. Proceedings., Sixth International Symposium on (1995), pp. 2-11.
|
| |
Computer Security, Dependability and Assurance: From Needs to Solutions, 1998. Proceedings In Computer Security, Dependability and Assurance: From Needs to Solutions, 1998. Proceedings (1998), pp. 166-170.
|
| |
In NSPW '95: Proceedings of the 1995 workshop on New security paradigms (1995), pp. 75-79.
|
| |
In ISSRE '07: Proceedings of the The 18th IEEE International Symposium on Software Reliability (2007), pp. 159-168.
|
| |
|
| |
In SUTC '06: Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing -Vol 1 (SUTC'06) (2006), pp. 394-402.
|
| |
Intelligent Systems, IEEE In Intelligent Systems, IEEE, Vol. 19, No. 5. (2004), pp. 20-23.
|
| |
IEEE Transactions on Software Engineering, Vol. 23, No. 4, April (1997)
|
| |
System Sciences, 2004. Proceedings of the 37th Annual Hawaii International Conference on In System Sciences, 2004. Proceedings of the 37th Annual Hawaii International Conference on (2004), 8 pp..
|
| |
Dependable, Autonomic and Secure Computing, 2nd IEEE International Symposium on In Dependable, Autonomic and Secure Computing, 2nd IEEE International Symposium on (2006), pp. 61-68.
|
| |
In ARES '06: Proceedings of the First International Conference on Availability, Reliability and Security (2006), pp. 156-165.
|
| |
Applications and the Internet Workshops, 2005. Saint Workshops 2005. The 2005 Symposium on In Applications and the Internet Workshops, 2005. Saint Workshops 2005. The 2005 Symposium on (2005), pp. 102-105.
|
| |
Journal of Computer Security, Vol. 2 (1993), pp. 211-229.
|
| |
|
| |
Architecting Dependable Systems III (2005), pp. 257-278.
|
| |
Integrated Formal Methods (2000), pp. 420-439.
|
| |
In NSPW '03: Proceedings of the 2003 workshop on New security paradigms (2003), pp. 19-25.
|
| |
|
| |
Computer Security – ESORICS 2004 (2004), pp. 423-438.
|
| |
Database and Expert Systems Applications, 2007. DEXA '07. 18th International Conference on In Database and Expert Systems Applications, 2007. DEXA '07. 18th International Conference on (2007), pp. 739-743.
|
| |
Dependable, Autonomic and Secure Computing, 2007. DASC 2007. Third IEEE International Symposium on In Dependable, Autonomic and Secure Computing, 2007. DASC 2007. Third IEEE International Symposium on (2007), pp. 134-144.
|
| |
ACM Trans. Comput. Syst., Vol. 23, No. 1. (February 2005), pp. 77-110.
|
Search
