23704 search results - page 97 / 4741 » Data and Information as Property |
174
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Many procedures for finding differentially expressed genes in microarray data are based on classical or modified t-statistics. Due to multiple testing considerations, ...
170
click to vote
ASWEC
2006
IEEE
16 years 15 days ago
2006
IEEE
The paper proposes an assessment scheme for the security properties of software components. The proposed scheme consists of three stages: (i) a system-specific security requireme...
171
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
With this work we aim to make a three-fold contribution. We first address the issue of supporting efficiently queries over string-attributes involving prefix, suffix, containmen...
198
click to vote
ASIAMS
2009
IEEE
15 years 7 months ago
2009
IEEE
To date, higher educational organizations are placed in a very high competitive environment. To remain competitive, one approach is to tackle the student and administration challen...
209
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...