Sciweavers

7080 search results - page 327 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
121
Voted
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 7 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
142
Voted
BMCBI
2005
117views more  BMCBI 2005»
15 years 3 months ago
An SVM-based system for predicting protein subnuclear localizations
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...
Zhengdeng Lei, Yang Dai
161
Voted
CASES
2008
ACM
15 years 5 months ago
Active control and digital rights management of integrated circuit IP cores
We introduce the first approach that can actively control multiple hardware intellectual property (IP) cores used in an integrated circuit (IC). The IP rights owner(s) can remotel...
Yousra Alkabani, Farinaz Koushanfar
122
Voted
DATE
2000
IEEE
112views Hardware» more  DATE 2000»
15 years 8 months ago
A Discrete-Time Battery Model for High-Level Power Estimation
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
Luca Benini, Giuliano Castelli, Alberto Macii, Enr...
120
Voted
MM
1997
ACM
117views Multimedia» more  MM 1997»
15 years 7 months ago
What Should a Wildebeest Say? Interactive Nature Films for High School Classrooms
Nature documentaries play an important role in high school biology classrooms, yet they deliver a passive and biased account of the behavior of organisms. To engage students in mo...
Brian K. Smith, Brian J. Reiser