374 search results - page 31 / 75 » Using Language Inference to Verify Omega-Regular Properties |
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
Data security is a critical issue for many organizations. Sensitive data must be protected from both inside and outside attackers. Access control policies and related mechanisms h...
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
FDL
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
ISCAS
2007
IEEE
15 years 3 months ago
2007
IEEE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
USS
2010
14 years 7 months ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...