4693 search results - page 839 / 939 » Verifying Hybrid Systems |
154
click to vote
RAID
2010
Springer
15 years 3 months ago
2010
Springer
We introduce BotSwindler, a bait injection system designed to delude and detect crimeware by forcing it to reveal during the exploitation of monitored information. The implementati...
154
click to vote
SEDE
2010
15 years 3 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
160
click to vote
ACIVS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Following a review of current hidden objects detection techniques in a range of security applications, a strategy based on an innovative, low-cost photometric stereo tech...
146
click to vote
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...
238
click to vote
DLS
2009
15 years 3 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...