51 search results - page 1 / 11 » spin 2010 |
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
CHI
2010
ACM
13 years 12 months ago
2010
ACM
In this paper, we introduce a novel interface, the Tangible Spin Cube, for experiencing a 3D ring menu in real space. It enables a tangible object-referenced 3D ring menu and its ...
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
—Spintronic memristor devices based upon spin torque induced magnetization motion are presented and potential application examples are given. The structure and material of these ...