1087 search results - page 41 / 218 » The DecideIT Decision Tool |
SOUPS
2006
ACM
14 years 1 months ago
2006
ACM
Phishing emails are semantic attacks that con people into divulging sensitive information using techniques to make the user believe that information is being requested by a legiti...
APLAS
2005
ACM
14 years 1 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
GROUP
2005
ACM
14 years 1 months ago
2005
ACM
The RideNow Project is designed to help individuals within a group or organization coordinate ad hoc shared rides. This paper describes three design decisions the RideNow team mad...
MTV
2003
IEEE
14 years 26 days ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
CSB
2004
IEEE
13 years 11 months ago
2004
IEEE
We propose a novel technique for automatically generating the SCOP classification of a protein structure with high accuracy. High accuracy is achieved by combining the decisions o...