منابع مشابه
Towards Usable Program Verifiers
Code deficiencies and bugs constitute an unavoidable part of software systems. In safety-critical systems, like aircrafts or medical equipment, even a single bug can lead to catastrophic impacts such as injuries or death. Formal verification can be used to statically track code deficiencies by proving or disproving correctness properties of a system. However, at its current state formal verific...
متن کاملMeasuring Brand Image: Shopping Centre Case Studies
‘Branding’ is well known for consumer products. Power has shifted from manufacturers’ brands towards retailers’. Branding may become more important for shopping centres. The authors firstly investigated qualitatively. Shoppers described centres in ‘personality’ terms. One in-town centre was ‘dull, boring and old-fashioned ... not exciting, just OK’. A larger regional centre was ‘trendy, prestig...
متن کاملTowards Usable Multimedia Event Detection
We often come across events on our daily commute such as a traffic jam, a person running a red light, or an ambulance approaching. These are complex events that human can effortlessly recognize and to which we make proper reactions. Being capable of recognizing complex events in a reliable way, like humans can, will facilitate many important applications such as self-driving cars, smart securit...
متن کاملEvaluating security tools towards usable security
The main success of the internet is its openness. To guarantee security in the internet for example to protect the user’s privacy or the security of online transactions the use of security tools is essential. Because today’s internet users cover almost all educational levels and professional groups, we assume that they will be mostly security novices. Unfortunately, the usage of today’s securit...
متن کاملTowards Accessible, Usable Knowledge Frameworks in Engineering
........................................................................................................................v LIST OF TABLES ............................................................................................................. ix LIST OF FIGURES .............................................................................................................x
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Engineering
سال: 2011
ISSN: 1877-7058
DOI: 10.1016/j.proeng.2011.11.193