550 search results - page 88 / 110 » A lightweight approach to state based security testing |
CCS
2007
ACM
15 years 1 months ago
2007
ACM
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper deals with the consensus problem under communication network inducing delays. It is well-known that introducing a delay leads in general to a reduction of the perfor...
124
click to vote
LION
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genoty...
JMM2
2007
14 years 9 months ago
2007
— This paper deals with automatic dialogue acts (DAs) recognition in Czech. Dialogue acts are sentence-level labels that represent different states of a dialogue, such as questio...
SACMAT
2010
ACM
15 years 1 months ago
2010
ACM
There has been increasing interest in automatic techniques for generating roles for role based access control, a process known as role mining. Most role mining approaches assume t...