7762 search results - page 1363 / 1553 » Availability in BitTorrent Systems |
204
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
213
click to vote
VLSID
2008
IEEE
16 years 28 days ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
166
click to vote
VTC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— In [1], we have recently proposed a general approach for approximating the power sum of Log–Normal Random Variables (RVs) by using the Pearson system of distributions...
213
click to vote
WCRE
2008
IEEE
16 years 28 days ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
200
click to vote
AINA
2007
IEEE
16 years 27 days ago
2007
IEEE
The GridBASE framework for database-driven grid computing is presented. The design and a prototype implementation of the framework is discussed. Industry-strength database technol...