5550 search results - page 873 / 1110 » Different Approaches to Proof Systems |
177
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
183
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
The use of user specific virtual machines (VMs) in Grid and Cloud computing reduces the administration overhead associated with manually installing required software for every user...
224
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
On-line decision making often involves query processing over time-varying data which arrives in the form of data streams from distributed locations. In such environments typically...
196
click to vote
HOTSWUP
2009
ACM
15 years 10 months ago
2009
ACM
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...
243
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract-General information about a class of objects, such as human faces or teeth, can help to solve the otherwise ill-posed problem of reconstructing a complete surface from spa...