172 search results - page 13 / 35 » A classification of design steps and their verification |
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
SSS
2010
Springer
14 years 7 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
DCC
2007
IEEE
15 years 9 months ago
2007
IEEE
The aim of this paper is to present a construction of t-divisible designs for t > 3, because such divisible designs seem to be missing in the literature. To this end, tools suc...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
DVD menus often miss out on usability and are complex and difficult to navigate through. One of the main problems is the lack of design standards. By conducting an expert walkthro...
OZCHI
2006
ACM
15 years 3 months ago
2006
ACM
The project is working towards building an understanding of the personal interests and experiences of children with the aim of designing appropriate, usable and, most importantly,...