Sciweavers

2560 search results - page 349 / 512
» Analysis Tool for Honeypot Systems
Sort
View
HYBRID
2007
Springer
16 years 20 days ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
ACMDIS
2006
ACM
16 years 15 days ago
How do design and evaluation interrelate in HCI research?
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...
Christine E. Wania, Michael E. Atwood, Katherine W...
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 11 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ICDAR
2003
IEEE
15 years 11 months ago
Towards Automatic Video-based Whiteboard Reading
As whiteboards have become a popular tool in meeting rooms, there has been a growing interest in making use of the whiteboard as a user interface for human computer interaction. T...
Markus Wienecke, Gernot A. Fink, Gerhard Sagerer
JCDL
2003
ACM
105views Education» more  JCDL 2003»
15 years 11 months ago
Convergence of Knowledge Management and E-Learning: The GetSmart Experience
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...
Byron Marshall, Yiwen Zhang, Hsinchun Chen, Ann M....