293 search results - page 35 / 59 » Quantitative analysis of scrolling techniques |
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
JOT
2010
13 years 6 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
ENTCS
2010
13 years 5 months ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
SOCO
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
PRESENCE
2006
13 years 7 months ago
2006
This paper describes the design, application, and refinement of a qualitative tool designed to study sense of place. The Place Probe incorporates a range of stimuli and techniques...