UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

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...

Using model checking to assess the dependability of agent-based systems

IEEE intelligent systems, 2004-09, Vol.19 (5), p.62-70

2004

Volltextzugriff (PDF)

Security implications of Android: a closed system, open software mobile platform

Proceedings of the 1st ACM workshop on Security and privacy in smartphones and mobile devices, 2011, p.87-88

Saidi, Hassen

2011

Volltextzugriff (PDF)

Smartphone security limitations: conflicting traditions

Proceedings of the 2011 Workshop on Governance of Technology, Information, and Policies, 2011, p.5-12

2011

Volltextzugriff (PDF)

Guarded models for intrusion detection

Conference on Programming Language Design and Implementation: Proceedings of the 2007 workshop on Programming languages and analysis for security; 14-14 June 2007, 2007, p.85-94

Saidi, Hassen

2007

Volltextzugriff (PDF)

Logical foundation for static analysis: application to binary static analysis for security

ACM SIGAda Ada Letters, 2008-04, Vol.XXVIII (1), p.96-102

Saïdi, Hassen

2008

Volltextzugriff (PDF)

Self-regenerative software components

Conference on Computer and Communications Security: Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems: in association with 10th ACM Conference on Computer and Communications Security; 31-31 Oct. 2003, 2003, p.115-120

2003

Volltextzugriff (PDF)

Modular and incremental analysis of concurrent software systems

14th IEEE International Conference on Automated Software Engineering, 1999, p.92-101

Saidi, H.

1999

Volltextzugriff (PDF)

Using model checking to assess the dependability of agent-based systems

IEEE intelligent systems & their applications, 2004-09, Vol.19 (5), p.62-70

2004

Volltextzugriff (PDF)

Isolation and characterization of facultative mixotrophic ammonia-oxidizing bacteria from constructed wetlands

Journal of environmental sciences (China), 2011-10, Vol.23 (10), p.1699-1708

2011

Volltextzugriff (PDF)

Combining Monitors for Runtime System Verification

Electronic notes in theoretical computer science, 2002-12, Vol.70 (4), p.112-127

2002

Volltextzugriff (PDF)

Abstraction of parameterized networks

Electronic notes in theoretical computer science, 1997, Vol.9, p.42-42

1997

Volltextzugriff (PDF)

Intrusion-tolerant group management in Enclaves

2001 International Conference on Dependable Systems and Networks, 2001, p.203-212

2001

Volltextzugriff (PDF)

Carriers’ localization and thermal redistribution in InAlAs/InP grown by MOCVD on (311)A- and (311)B-InP substrates

Applied physics. A, Materials science & processing, 2019-02, Vol.125 (2), p.1-6, Article 134

2019

Volltextzugriff (PDF)

InAs/GaAs SK quantum dots stacking: Impact of spacer layer on optical properties

Physica. B, Condensed matter, 2024-10, Vol.691, p.416313, Article 416313

2024

Volltextzugriff (PDF)

Comparative optical studies of InAlAs/InP quantum wells grown by MOCVD on (311)A and (311)B InP planes

Journal of materials science. Materials in electronics, 2020-07, Vol.31 (13), p.10750-10759

2020

Volltextzugriff (PDF)

Impact of Information Communication Technology and Economic Growth on the Electricity Consumption: Empirical Evidence from 67 Countries

Journal of the knowledge economy, 2017-09, Vol.8 (3), p.789-803

2017

Volltextzugriff (PDF)

The Performance and Robustness of Power Protection Schemes for Grid‐Connected PV Systems Under Varied Smart Inverter Controllers

International journal of energy research, 2024-01, Vol.2024 (1)

2024

Volltextzugriff (PDF)

Optical and structural properties of In-rich InxGa1−xAs epitaxial layers on (100) InP for SWIR detectors

Materials science & engineering. B, Solid-state materials for advanced technology, 2020-12, Vol.262, p.114769, Article 114769

2020

Volltextzugriff (PDF)

Highly sensitive protection scheme considering the PV operation control models

Electric power systems research, 2024-12, Vol.237, p.111025, Article 111025

2024

Volltextzugriff (PDF)

Experimental and computational studies of CCTS material: Novel design of solar cell for high efficiency

Solar energy, 2023-09, Vol.262, p.111806, Article 111806

2023

Volltextzugriff (PDF)

Sulfur bacteria in wastewater stabilization ponds periodically affected by the ‘red-water’ phenomenon

Applied microbiology and biotechnology, 2013-01, Vol.97 (1), p.379-394

2013

Volltextzugriff (PDF)

Parameters of construction, positioning, orientation and those of adequate operation of a solar distiller in the south east of Algeria

Desalination and water treatment, 2023-03, Vol.287, p.11-18

2023

Volltextzugriff (PDF)

Electro-optical properties improvement of organic composite using p-nitro-benzylidenemalonotrile-based small organic molecules

Bulletin of materials science, 2022-09, Vol.45 (3), p.113, Article 113

2022

Volltextzugriff (PDF)

Investigation of 1.9 μm GINA Simulated as Intrinsic Layer in a GaAs Homojunction: From 25% Towards 32.4% Conversion Yield

Journal of electronic materials, 2020-11, Vol.49 (11), p.6308-6316

2020

Volltextzugriff (PDF)

Conflict Resilience of Water and Energy Supply Infrastructure: Insights from Yemen

Water (Basel), 2020-11, Vol.12 (11), p.3269

2020

Volltextzugriff (PDF)

1 – 25 von 100

Menü

Weitere Dienste

Einstellungen

Using model checking to assess the dependability of agent-based systems

Security implications of Android: a closed system, open software mobile platform

Smartphone security limitations: conflicting traditions

Guarded models for intrusion detection

Logical foundation for static analysis: application to binary static analysis for security

Self-regenerative software components

Modular and incremental analysis of concurrent software systems

Using model checking to assess the dependability of agent-based systems

Isolation and characterization of facultative mixotrophic ammonia-oxidizing bacteria from constructed wetlands

Combining Monitors for Runtime System Verification

Abstraction of parameterized networks

Intrusion-tolerant group management in Enclaves

Carriers’ localization and thermal redistribution in InAlAs/InP grown by MOCVD on (311)A- and (311)B-InP substrates

InAs/GaAs SK quantum dots stacking: Impact of spacer layer on optical properties

Comparative optical studies of InAlAs/InP quantum wells grown by MOCVD on (311)A and (311)B InP planes

Impact of Information Communication Technology and Economic Growth on the Electricity Consumption: Empirical Evidence from 67 Countries

The Performance and Robustness of Power Protection Schemes for Grid‐Connected PV Systems Under Varied Smart Inverter Controllers

Optical and structural properties of In-rich InxGa1−xAs epitaxial layers on (100) InP for SWIR detectors

Highly sensitive protection scheme considering the PV operation control models

Experimental and computational studies of CCTS material: Novel design of solar cell for high efficiency

Sulfur bacteria in wastewater stabilization ponds periodically affected by the ‘red-water’ phenomenon

Parameters of construction, positioning, orientation and those of adequate operation of a solar distiller in the south east of Algeria

Electro-optical properties improvement of organic composite using p-nitro-benzylidenemalonotrile-based small organic molecules

Investigation of 1.9 μm GINA Simulated as Intrinsic Layer in a GaAs Homojunction: From 25% Towards 32.4% Conversion Yield

Conflict Resilience of Water and Energy Supply Infrastructure: Insights from Yemen

Aktive Filter

Suchergebnisse filtern