3914 search results - page 712 / 783 » Automating SLA modeling |
151
Voted
IMCSIT
2010
15 years 16 days ago
2010
Breast cancer is the second most common form of cancer amongst females and also the fifth most cause of cancer deaths worldwide. In case of this particular type of malignancy, earl...
141
Voted
SIGSOFT
2010
ACM
15 years 15 days ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
157
Voted
TACAS
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
129
click to vote
USS
2010
15 years 14 days ago
2010
We examine the problem of acoustic emanations of printers. We present a novel attack that recovers what a dotmatrix printer processing English text is printing based on a record o...
133
Voted
ETELEMED
2009
IEEE
15 years 12 days ago
2009
IEEE
- E-Health systems' interoperability constitutes one of the main challenges of the IT society. E-Health interoperability will not occur without a shared policy and a process f...