2488 search results - page 335 / 498 » An improvement in formal verification |
114
Voted
ERLANG
2008
ACM
15 years 3 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
103
click to vote
DPHOTO
2010
15 years 3 months ago
2010
The high level context image analysis regards many fields as face recognition, smile detection, automatic red eye removal, iris recognition, fingerprint verification, etc. Techniq...
108
click to vote
CSREASAM
2008
15 years 3 months ago
2008
Abstract--Packet Level Authentication (PLA) is a novel countermeasure against distributed denial-of-service attacks. Each packet sent across a network has a digital signature and p...
115
click to vote
IIWAS
2008
15 years 3 months ago
2008
In mobile commerce, short-message-service (SMS) is an important technique for delivering payment instruction. A payment model "SMS Credit" was proposed earlier [1]. Such...
102
click to vote
LREC
2008
15 years 3 months ago
2008
Speaker identification and verification systems have a poor performance when model training is done in one language while the testing is done in another. This situation is not unu...