32117 search results - page 89 / 6424 » Design for Unanticipated Use.. |
160
click to vote
MJ
2008
15 years 6 months ago
2008
Abstract - The basic building blocks for Resonant Tunnelling Diode (RTD) logic circuits are Threshold Gates (TGs) instead of the conventional Boolean gates (AND, OR, NAND, NOR) due...
164
click to vote
PSYCHNOLOGY
2007
15 years 5 months ago
2007
This paper describes the shortcomings in the support that replaces the lost distributed cognition in older people who move to nursing homes and how artifacts can improve this by f...
167
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
169
click to vote
ACSC
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
164
click to vote
DATE
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...