Michael NEUBRAND, Oldenburg

gungsband  bei Kanders  (2010) vorgestellt, ein weiteres  Projekt findet man bei Berendonk (2010)  1. Das math­il.de Projekt Ausgangspunkt   des   Projekts   sind     von   Gymnasiallehrern   formulierte  …

Taint-Enhanced Policy Enforcement

uninstallation time Stony Brook University 17 Evaluation We have implemented SSI  On Linux CentOS 4.1  Based on Alcatraz tool We have performed installations in SSI  Malicious packages (~10) Real-w …

Discussion Papers

Recent Submissions By Issue Date By Date Accessioned By Title By Author Recent Submissions Now showing 1 - 20 of 26 Loading... Item Who can reach for the Michelin stars? An empirical analysis of human, or [...] Informationen wird daher das Potential einer technisch legitimierten Leistungsbewertung bestimmt (4.1), mit den Vorstellungen der Operateure vor Ort verglichen (4.2) und die Notwendigkeit der sozialen [...] ngen des Wissenstransfers auf die Organisationsform Universität applizieren zu können. Show more « 1 (current) 2 » Eldorado Provided by UB and ITMC of the TU Dormund Cookie settings Privacy policy Send …

Fakultät Wirtschaftswissenschaften

Recent Submissions By Issue Date By Date Accessioned By Title By Author Recent Submissions Now showing 1 - 20 of 24 No Thumbnail Available Item Designing authoring tools for the metaverse to detect user behavior [...] hypothesis postulates an inverted U-shaped relationship between economic development and pollution. Chapter 1 introduces residual-based monitoring procedures for cointegrating polynomial regressions (CPRs) to detect [...] long distances, but the regional entrepreneurship capital is crucial for local growth. Show more « 1 (current) 2 » Eldorado Provided by UB and ITMC of the TU Dormund Cookie settings Privacy policy Send …

Conference Publications - Chair 3 - Department of Computer Science - TU Dortmund

d Interaction Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Hrsg.: Farn Wang, Nr. 3731, S. 542-546, Spr, Taipei, Taiwan, 2005-10-02 [ [...] [We91b] Horst F. Wedde et al. Static Analysis of Timing Properties for Distributed Real-Time Programs 1st IFAC Workshop on Architectures for Real-Time Control, Bangor, Wales, 1991-09 [KoW91] B. Korel und [...] 1985-01 [Wed85a] Horst F. Wedde A General Distributed Graph Algorithm for Fair Acess to Critical Sections 1st International Conference on "Distributed Algorithms on Graphs", Ottawa, [Wed83b] Horst F. Wedde I …

LS 01 Logik in der Informatik

Recent Submissions By Issue Date By Date Accessioned By Title By Author Recent Submissions Now showing 1 - 20 of 37 Loading... Item Probabilistic inferences under maximum entropy for Description Logics ( 2024 [...] Rudolph, Günter Show more Loading... Item On theory of information functions presence ( Dortmund, LS1 , 2006 ) Tsintsadze, Magda Show more Loading... Item Logics which allow Degrees of Truth and Degrees [...] Semantiken solcher Logiken werden im Allgemeinen und für interessante Spezialfälle studiert. Show more « 1 (current) 2 » Eldorado Provided by UB and ITMC of the TU Dormund Cookie settings Privacy policy Send …

Konferenzpublikationen - Lehrstuhl 3 - Fakultät für Informatik - TU Dortmund

d Interaction Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Hrsg.: Farn Wang, Nr. 3731, S. 542-546, Spr, Taipei, Taiwan, 2005-10-02 [ [...] [We91b] Horst F. Wedde et al. Static Analysis of Timing Properties for Distributed Real-Time Programs 1st IFAC Workshop on Architectures for Real-Time Control, Bangor, Wales, 1991-09 [KoW91] B. Korel und [...] 1985-01 [Wed85a] Horst F. Wedde A General Distributed Graph Algorithm for Fair Acess to Critical Sections 1st International Conference on "Distributed Algorithms on Graphs", Ottawa, [Wed83b] Horst F. Wedde I …

254 254 173 3 0 0 0 0 0 0 0 0 0 48 254 254 35 0 0 0 0 0 0 0 0 0 71 204 254 218 25 0 1 12 12 12 7 12 12 1 0 48 254 173 1 0 0 0 0 0 0 0 0 0 150 254 254 225 148 148 151 254 254 255 205 254 254 90 13 118 254 [...] 253 253 250 150 36 0 0 0 52 148 181 245 184 106 228 253 95 1 0 0 0 0 0 0 0 0 0 1 88 207 253 253 242 211 112 112 112 112 118 172 253 253 207 26 1 0 0 0 0 0 0 0 0 0 0 0 0 80 135 210 253 253 253 253 253 253 [...] 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 18 130 188 182 79 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 46 171 254 254 254 254 254 142 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 85 239 253 201 158 …