271 search results - page 39 / 55 » From Trust to Dependability through Risk Analysis |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...
BMCBI
2010
13 years 8 months ago
2010
Background: Despite the recent success of genome-wide association studies in identifying novel loci contributing effects to complex human traits, such as type 2 diabetes and obesi...
ICMENS
2005
IEEE
14 years 1 months ago
2005
IEEE
– A classical mechanistic model was developed to capture the existence of pre-sliding tangential deflection (PSTD) in contacting polysilicon and coated polysilicon surfaces. For ...