26071 search results - page 397 / 5215 » Making |
158
click to vote
TPHOL
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
177
click to vote
WIOPT
2005
IEEE
16 years 13 days ago
2005
IEEE
We propose a model under which several inherent properties of the Exponential Age SEarch routing protocol can be derived. By making simplifications on this model, we are able to ...
183
click to vote
SAC
2005
ACM
16 years 13 days ago
2005
ACM
The rapid growth of service coordination languages creates a need for methodological support for coordination design. Coordination design differs from workflow design because a ...
192
click to vote
SIGMETRICS
2005
ACM
16 years 13 days ago
2005
ACM
Network service providers and customers are often concerned with aggregate performance measures that span multiple network paths. Unfortunately, forming such network-wide measures ...
180
click to vote
SOUPS
2005
ACM
16 years 13 days ago
2005
ACM
In our research, we have been concerned with the question of how to make relevant features of security situations visible to users in order to allow them to make informed decision...