1937 search results - page 264 / 388 » Starting B Specifications from Use Cases |
173
click to vote
TPHOL
2007
IEEE
16 years 22 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
142
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
149
click to vote
SP
1990
IEEE
15 years 10 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
181
click to vote
AISM
2004
15 years 7 months ago
2004
Although, many organisations have implemented technical solutions to protect information resources from adverse events, internal security breaches continue to occur. Therefore an ...
199
click to vote
ICANN
2009
Springer
15 years 4 months ago
2009
Springer
Different algorithms have been proposed in the literature to cluster gene expression data, however there is no single algorithm that can be considered the best one independently on...