3901 search results - page 772 / 781 » software 2008 |
ATVA
2008
Springer
13 years 8 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
BIRTHDAY
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Starting from existing spreadsheet software, like Lotus 1-23R , ExcelR , or Spreadsheet 2000R , we propose a sequence of enhancements to fully integrate constraint-based ...
CCS
2008
ACM
13 years 8 months ago
2008
ACM
System-call monitoring has become the basis for many hostbased intrusion detection as well as policy enforcement techniques. Mimicry attacks attempt to evade system-call monitorin...
CCS
2008
ACM
13 years 8 months ago
2008
ACM
This work studies the security of ten popular package managers. These package managers use different security mechanisms that provide varying levels of usability and resilience to...
CCS
2008
ACM
13 years 8 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...