3639 search results - page 282 / 728 » Provenance as Dependency Analysis |
198
click to vote
WIOPT
2010
IEEE
15 years 5 months ago
2010
IEEE
In this work, we characterize the performance of pico cell networks in presence of moving users. We model various traffic types between base-stations and mobiles as different typ...
196
click to vote
ASPDAC
2010
ACM
15 years 5 months ago
2010
ACM
To cope with an increasing complexity when analyzing analog mismatch in sub-90nm designs, this paper presents a fast non-MonteCarlo method to calculate mismatch in time domain. Th...
244
click to vote
IFIPTCS
2010
15 years 5 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
195
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The Web of Data is increasingly becoming an important infrastructure for such diverse sectors as entertainment, government, ecommerce and science. As a result, the robust...
224
click to vote
JSS
2010
15 years 2 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...