4636 search results - page 249 / 928 » Application of Linguistic Techniques for Use Case Analysis |
172
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
208
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
With the recent rapid increase in interactive web applications that employ back-end database services, an SQL injection attack has become one of the most serious security threats....
208
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper focuses on scheduling different hard real-time applications on a uniprocessor when the earliest deadline first algorithm is used as the local scheduler, and the global ...
194
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Remarkable performance has been reported to recognize single object classes. Scalability to large numbers of classes however remains an important challenge for today's recogn...
176
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...