827 search results - page 121 / 166 » Proof-Theoretic Soundness and Completeness |
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
109
Voted
SP
2006
IEEE
15 years 6 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
124
Voted
ACMSE
2006
ACM
15 years 6 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
103
click to vote
ASWEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
121
click to vote
ICW
2005
IEEE
15 years 6 months ago
2005
IEEE
The MPEG-4 standard includes support not only for natural video and audio, but also for synthetic graphics and sounds. In the MPEG-4 specifications, Body Animation Parameters (BAP...