LeveL

Results: 102551



#Item
31Formal methods / Theoretical computer science / Software engineering / Systems engineering / Software testing / Quality / Software quality / Software verification and validation / Formal verification / Functional verification / Model checking / Verification and validation

On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@sieme

Add to Reading List

Source URL: mbeddr.com

Language: English - Date: 2018-08-02 04:06:51
32Algebra / Abstract algebra / Pairing-based cryptography / Mathematics / Group theory / Linear algebra / Module theory / Pairing / Weil pairing / Elliptic curve / Proofs of quadratic reciprocity / Basic hypergeometric series

Implementing Pairings at the 192-bit Security Level Diego F. Aranha1 , Laura Fuentes-Casta˜ neda2 , Edward Knapp3 , Alfred 3 Menezes , and Francisco Rodr´ıguez-Henr´ıquez2

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2012-04-25 16:25:57
33Business / Economy / Queueing theory / Management / Graph theory / Markov chain / Service level / Service-level agreement / Airbag / Statistical hypothesis testing / Sensitivity analysis / PEPA

Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland

Add to Reading List

Source URL: www.dcs.ed.ac.uk

Language: English - Date: 2006-08-30 07:27:10
34Economy / Finance / Money / Actuarial science / Financial risk / Financial markets / China Health and Nutrition Survey / Health in China / Systematic risk / Risk aversion / Economics / Risk

Heterogeneous preferences and risk sharing at household level in China Jennifer T. Lai School of Finance, Guangdong University of Foreign Studies Isabel K. M. Yan

Add to Reading List

Source URL: www.hkimr.org

Language: English - Date: 2018-02-09 01:16:49
35IranUnited States relations / Nuclear energy in Iran

Tips for Reading your Employee Demographic Report Your surveyed employees were asked to indicate their level of agreement with each statement, from “Disagree Strongly” to “Agree Strongly.” The first two columns r

Add to Reading List

Source URL: www.bestplacestoworkfintech.com

Language: English
36Marketing / Education / Cognition / Human behavior / Academic degree / Master's degree / Research / Bachelor's degree / Critical thinking / Outline of marketing

Learning Outcomes for Master of Marketing (MM) National Qualification Framework for Iceland Master of Marketing at Reykjavik University Master of Marketing (MM) is a 90 ECTS-credit qualification at master level. It focus

Add to Reading List

Source URL: en.ru.is

Language: English - Date: 2018-06-27 06:38:03
37Economy / Actuarial science / Finance / Money / Business intelligence / Financial law / Analytics / Big data / Enterprise risk management / Asset and liability management / Risk-adjusted return on capital / Financial risk

Enterprise Risk Management Take ownership of risk management and do more than just react. With the regulatory environment today, requirements from the likes of Basel II/III, demand an enterprise-level solution that prov

Add to Reading List

Source URL: www.temenos.com

Language: English - Date: 2017-09-05 14:00:08
38Climatology / Climate change / Physical geography / Effects of global warming / Reasons for concern / Global warming

How the level of global warming affects impacts and/or risks associated with the Reasons for Concern (RFCs) and selected natural, managed and human systems Five Reasons For Concern (RFCs) illustrate the impacts and risks

Add to Reading List

Source URL: report.ipcc.ch

Language: English - Date: 2018-10-15 09:48:00
39Computer hardware / Computing / Technology / Computer security / Side-channel attacks / X86 architecture / Intel / Meltdown / Spectre / Wind River Systems / Advanced Micro Devices / Internet of things

FROM THE EDITOR Spectre, the Deep Firmware Threat Born before silicon-level security was deemed necessary, speculative execution is now something

Add to Reading List

Source URL: www.eproductalert.com

Language: English - Date: 2018-04-18 19:10:00
40Education / Academic degrees / Academic transfer / Education in Austria / Educational policies and initiatives of the European Union / Education in Finland / Course credit / Diplom / Master's degree / Iversity / Bachelor's degree / Postgraduate education

Rules for master studies in Business 1. Master studies in Business within the School of Business 1.1. Scope of the rules. These rules apply to all studies at the master’s level within the School of Business, with the e

Add to Reading List

Source URL: en.ru.is

Language: English - Date: 2017-07-06 09:51:52
UPDATE