2688 search results - page 497 / 538 » A formal semantics for P3P |
105
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Biological scientists have made large amounts of data available on the Web, which can be accessed by canned or precomputed queries presented via web forms. To satisfy further info...
128
click to vote
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
ICIW
2009
IEEE
15 years 6 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
102
click to vote
ICSOC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...