2796 search results - page 519 / 560 » A time structure based software reliability model |
201
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
126
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
This paper reports on the 2nd Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’06) held on October 2nd, 2006 at the MoDELS’06 conference in Genova, Ital...
132
click to vote
FOSSACS
2003
Springer
15 years 8 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
98
Voted
IPMI
2005
Springer
16 years 4 months ago
2005
Springer
Having accurate left ventricle (LV) segmentations across a cardiac cycle provides useful quantitative (e.g. ejection fraction) and qualitative information for diagnosis of certain ...
129
Voted
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
— Energy efficiency is widely understood to be one of the dominant considerations for Wireless Sensor Networks. Based on historical data and technology trends, the receiver ener...