5244 search results - page 897 / 1049 » Structural Complexity of AvgBPP |
131
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
150
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
While many works have been devoted to service matchmaking and modeling nonfunctional properties, the problem of matching service requests to offers in an optimal way has not yet b...
153
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
A central aspect of reducing orientation problems in web navigation concerns the design of adequate navigation aids. Visualization of users' navigation path in form of a temp...
156
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
Web applications are growing in demand, complexity and size, thus making it difficult to systematically design and maintain general web applications. To aid in fulfilling these di...
254
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of pap...