6059 search results - page 359 / 1212 » A Technique for Verifying Measurements |
173
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
144
click to vote
SERSCISA
2009
Springer
16 years 1 months ago
2009
Springer
Many visual similarity-based phishing page detectors have been developed to detect phishing webpages, however, scammers now create polymorphic phishing pages to breach the defense ...
185
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
160
click to vote
HOTI
2008
IEEE
16 years 1 months ago
2008
IEEE
— Recent network intrusion detection systems (NIDS) use regular expressions to represent suspicious or malicious character sequences in packet payloads in a more efficient way. ...
162
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Varying illumination condition is a challenging problem for face recognition and synthesis. The illumination re-rendering technique allows aligning the illumination effects of fac...