664 search results - page 77 / 133 » Building continuous webbed models for system F |
246
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
113
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
Large, socially-driven Web 2.0 sites such as Facebook and Youtube have seen significant growth in popularity [5, 10]. However, strong demand also exists for socially-driven web s...
115
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
117
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Automated negotiation has attracted growing interest within fields such as e-business, multi-agent systems, and web services. Nevertheless, a majority of automated negotiation res...
134
Voted
EDOC
2008
IEEE
15 years 5 months ago
2008
IEEE
Although service-oriented architectures offer real benefits when pursuing application integration and business flexibility, there are still no satisfactory solutions for dealing w...