3299 search results - page 582 / 660 » A general mathematics of names |
107
click to vote
WWW
2004
ACM
16 years 17 days ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
WWW
2004
ACM
16 years 17 days ago
2004
ACM
XML messaging is at the heart of Web services, providing the flexibility required for their deployment, composition, and maintenance. Yet, current approaches to Web services devel...
100
click to vote
WWW
2004
ACM
16 years 17 days ago
2004
ACM
Recent observations through experiments that we have performed in current third generation wireless networks have revealed that the achieved throughput over wireless links varies ...
190
click to vote
ICFP
2009
ACM
16 years 16 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
172
click to vote
ECOOP
2009
Springer
16 years 16 days ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...