1368 search results - page 179 / 274 » Personality-Based Practical Reasoning |
118
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
133
click to vote
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
135
click to vote
ISPASS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper characterizes the impact that the use of UDP versus TCP has on the performance and scalability of the OpenSER SIP proxy server. The Session Initiation Protocol (SIP) is...
122
click to vote
SOSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Various security and privacy issues have emerged from the SOA healthcare platform. Large amounts of personal data are transmitted daily through the SOA healthcare platform. For se...
125
click to vote
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...