1992 search results - page 318 / 399 » Model Based Testing with Labelled Transition Systems |
155
Voted
MMSEC
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
122
click to vote
SIGMETRICS
2010
ACM
15 years 7 months ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...
125
Voted
TOIS
2010
15 years 1 months ago
2010
We propose a new unsupervised learning technique for extracting information about authors and topics from large text collections. We model documents as if they were generated by a...
134
Voted
KDD
2002
ACM
16 years 3 months ago
2002
ACM
Traditional intrusion detection systems (IDS) detect attacks by comparing current behavior to signatures of known attacks. One main drawback is the inability of detecting new atta...
102
Voted
ACSD
2003
IEEE
15 years 8 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...