819 search results - page 152 / 164 » Using Assumptions to Distribute CTL Model Checking |
116
Voted
PAMI
2012
13 years 17 days ago
2012
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
IAT
2003
IEEE
15 years 3 months ago
2003
IEEE
With the increasing use of the internet, many problemsolving tasks such as resource allocation, scheduling, planning, and configuration pose themselves in an open setting involvi...
ICDM
2009
IEEE
14 years 7 months ago
2009
IEEE
Recently a number of modeling techniques have been developed for data mining and machine learning in relational and network domains where the instances are not independent and ide...
124
click to vote
SOSP
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
104
Voted
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...