Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Εμφάνιση άλλων εκδόσεων (1)

The kernel of any operating system is its most critical component, the remainder of the system depends upon a correctly functioning and reliable kernel for its operation – what is more, a kernel that has security flaws can be exploited by malicious users. Kernels are notoriously complex and hard to...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Craig, Iain D. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London, 2007.
Θέματα:	Computer science. Architecture, Computer. Software engineering. Operating systems (Computers). Computer science > Mathematics. Computer Science. Computer System Implementation. Operating Systems. Software Engineering. Discrete Mathematics in Computer Science. Math Applications in Computer Science.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Formal Models of Operating System Kernels
ανά: Craig, Iain D.
Έκδοση: (2007)

Formal Refinement for Operating System Kernels
ανά: Craig, Iain D.
Έκδοση: (2007)

Architecting Dependable Systems IV
Έκδοση: (2007)

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /
Έκδοση: (2006)

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings /
Έκδοση: (2007)

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
Έκδοση: (2016)

Parallel Processing and Applied Mathematics 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers /
Έκδοση: (2004)

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /
Έκδοση: (2007)

Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings /
Έκδοση: (2009)

Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings /
Έκδοση: (2010)

Systems and Virtualization Management. Standards and New Technologies Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings /
Έκδοση: (2008)

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings /
Έκδοση: (2010)

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings /
Έκδοση: (2014)

Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings /
Έκδοση: (2008)

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings /
Έκδοση: (2008)

Internetware A New Software Paradigm for Internet Computing /
ανά: Mei, Hong, κ.ά.
Έκδοση: (2016)

Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers /
Έκδοση: (2006)

Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers /
Έκδοση: (2007)

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings /
Έκδοση: (2005)

Architecture of Computing Systems – ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings /
Έκδοση: (2015)

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings /
Έκδοση: (2006)

Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers /
Έκδοση: (2006)

Self-Organizing Systems First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings /
Έκδοση: (2006)

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings /
Έκδοση: (2005)

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings /
Έκδοση: (2007)

Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings /
Έκδοση: (2014)

Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings /
Έκδοση: (2011)

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings /
Έκδοση: (2006)

Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings /
Έκδοση: (2013)

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings /
Έκδοση: (2012)

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Έκδοση: (2009)

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers /
Έκδοση: (2006)

New Developments in Distributed Applications and Interoperable Systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland /
Έκδοση: (2002)

Mathematical Approaches to Software Quality
ανά: O'Regan, Gerard
Έκδοση: (2006)

Organic and Pervasive Computing – ARCS 2004 International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004. Proceedings /
Έκδοση: (2004)

Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden /
Έκδοση: (2010)

Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart /
Έκδοση: (2008)

Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services /
ανά: Birman, Kenneth P.
Έκδοση: (2012)

Elementary Logic For Software Development /
ανά: Lover, Robert
Έκδοση: (2008)

Validated Designs for Object-oriented Systems
ανά: Fitzgerald, John, κ.ά.
Έκδοση: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών