Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Formalizing Google File System
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing, 2014, p.190-191
2014
Volltextzugriff (PDF)

2015 IEEE 16th International Symposium on High Assurance Systems Engineering, 2015, p.207-214
2015
Volltextzugriff (PDF)


Web services choreography validation
Service oriented computing and applications, 2010-12, Vol.4 (4), p.291-305
2010
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification, and Validation, 2010, p.594-608
2010
Volltextzugriff (PDF)

Distributed Computing and Internet Technology, 2008, Vol.5375, p.1-12
2008
Volltextzugriff (PDF)