4693 search results - page 839 / 939 » Verifying Hybrid Systems |
104
click to vote
RAID
2010
Springer
14 years 10 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...
108
click to vote
SEDE
2010
14 years 10 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...
114
Voted
ACIVS
2009
Springer
14 years 10 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...
110
Voted
COMPSAC
2009
IEEE
14 years 10 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...
166
click to vote
DLS
2009
14 years 10 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 ...