16070 search results - page 28 / 3214 » Identifying |
162
Voted
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
119
Voted
JAVACARD
2000
15 years 7 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
FECS
2007
15 years 5 months ago
2007
- Neurologic Music Therapy (NMT) can improve deficiencies in speech, motor, and cognitive skills. This paper introduces the field to computer scientists by explaining the rationale...
126
click to vote
SERVICES
2008
15 years 5 months ago
2008
WS-Security is an essential component of the Web services protocol stack. WS-Security provides end-to-end security properties, thereby assuring the participation of nonsecure tran...
111
click to vote
EACL
2006
ACL Anthology
15 years 4 months ago
2006
ACL Anthology
We describe a method for discovering irregularities in temporal mood patterns appearing in a large corpus of blog posts, and labeling them with a natural language explanation. Sim...