26 search results - page 1 / 6 » Deviational Analyses for Validating Regulations on Real Syst... |
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Deviational analysis is a traditional way of exploring the safety of systems. The results of deviational analysis contribute to traditional safety cases and safety arguments. We ex...
CSFW
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
—Transcriptional regulation by transcription factors (TFs) and microRNAs controls when and how much RNA is created. Due to technical limitations, the protein level expressions of...
WECWIS
2006
IEEE
13 years 11 months ago
2006
IEEE
— In today's competitive environment, analysing data to predict market trends of products and services and to improve the performance of enterprise systems is an essential b...
3DPH
2009
13 years 6 months ago
2009
Disorientation induced by G-forces during aerobatic flight generates difficulties for the pilots to perfectly align their aerobatic maneuver. This paper presents a modular wearable...