2513 search results - page 379 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
103
click to vote
JUCS
2008
14 years 10 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
SIGOPS
2010
14 years 8 months ago
2010
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
98
Voted
ICS
2011
Tsinghua U.
14 years 1 months ago
2011
Tsinghua U.
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...
104
click to vote
PLDI
2012
ACM
13 years 17 days ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
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...