36 search results - page 3 / 8 » Towards Automated Proof Support for Probabilistic Distribute... |
COMSWARE
2007
IEEE
14 years 1 months ago
2007
IEEE
1 As distributed systems scale up and are deployed into increasingly sensitive settings, demand is rising for a new generation of communications middleware in support of applicati...
HPDC
2008
IEEE
14 years 1 months ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...
ICWS
2009
IEEE
13 years 5 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
MIR
2005
ACM
14 years 1 months ago
2005
ACM
We propose a new method for automated large scale gathering of Web images relevant to specified concepts. Our main goal is to build a knowledge base associated with as many conce...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Detecting objects in complex scenes while recovering the scene layout is a critical functionality in many vision-based applications. Inspired by the work of [18], we advocate the ...