1699 search results - page 257 / 340 » On the Expressive Power of QLTL |
150
click to vote
CSFW
2006
IEEE
16 years 3 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
162
click to vote
CSFW
2006
IEEE
16 years 3 days ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
113
click to vote
CSMR
2006
IEEE
16 years 3 days ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
182
click to vote
DATE
2006
IEEE
16 years 3 days ago
2006
IEEE
For CMOS technologies below 65nm, gate oxide direct tunneling current is a major component of the total power dissipation. This paper presents a simulated annealing based algorith...
176
click to vote
ICDE
2006
IEEE
16 years 3 days ago
2006
IEEE
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...