Sciweavers

4971 search results - page 353 / 995
» Observation systems
Sort
View
ISW
2010
Springer
15 years 4 months ago
Cryptanalysis of the Convex Hull Click Human Identification Protocol
Recently a convex hull based human identification protocol was proposed by Sobrado and Birget, whose steps can be performed by humans without additional aid. The main part of the p...
Hassan Jameel Asghar, Shujun Li, Josef Pieprzyk, H...
MFCS
1991
Springer
15 years 10 months ago
CCS Dynamic Bisimulation is Progressing
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
Ugo Montanari, Vladimiro Sassone
DATE
2005
IEEE
91views Hardware» more  DATE 2005»
16 years 12 days ago
Reliability-Centric High-Level Synthesis
Importance of addressing soft errors in both safety critical applications and commercial consumer products is increasing, mainly due to ever shrinking geometries, higher-density c...
Suleyman Tosun, Nazanin Mansouri, Ercument Arvas, ...
SCL
2010
114views more  SCL 2010»
15 years 1 months ago
Input-state incidence matrix of Boolean control networks and its applications
The input-state incidence matrix of control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state mapping. Using it, an easily...
Yin Zhao, Hongsheng Qi, Daizhan Cheng
TABLETOP
2006
IEEE
16 years 24 days ago
Direct Intentions: The Effects of Input Devices on Collaboration around a Tabletop Display
This paper explores users’ interpersonal interactions during collaboration around a tabletop display, in order to better understand the affordances offered by this medium. We in...
Vicki Ha, Kori M. Inkpen, Tara Whalen, Regan L. Ma...