2364 search results - page 136 / 473 » An Engine for Computing Well-Founded Models |
161
click to vote
CSE
2008
IEEE
15 years 11 months ago
2008
IEEE
E-mail services are essential in the Internet. However, the basic e-mail architecture presents problems that opens it to several threats. Alternatives have been proposed to solve ...
150
click to vote
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper approaches statistical optimization by examining gate delay variation models and optimization objectives. Most previous work on statistical optimization has focused exc...
141
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
105
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper contributes to the field of measuring (un)linkability in communication systems; a subproblem of privacy protection. We propose an attacker state model for attacks on...
157
click to vote
HPCN
2000
Springer
15 years 8 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...