Sciweavers

10890 search results - page 1872 / 2178
» Automatic Complexity Analysis
Sort
View
EPEW
2006
Springer
15 years 10 months ago
Model Checking for a Class of Performance Properties of Fluid Stochastic Models
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
Manuela L. Bujorianu, Marius C. Bujorianu
ESORICS
2006
Springer
15 years 10 months ago
Secure Key-Updating for Lazy Revocation
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
Michael Backes, Christian Cachin, Alina Oprea
GCC
2006
Springer
15 years 10 months ago
Grid Programming Environment over ChinaGrid Support Platform
Grid computing is becoming more and more attractive to provide a convenient uniform platform for coordinating highly distributed and heterogeneous resources and services. GridPPI ...
Feng He, Yongwei Wu, Guangwen Yang, Sikan Chen, Li...
GECCO
2006
Springer
179views Optimization» more  GECCO 2006»
15 years 10 months ago
Parisian evolution with honeybees for three-dimensional reconstruction
This paper introduces a novel analogy with the way in which honeybee colonies operate in order to solve the problem of sparse and quasi dense reconstruction. To successfully solve...
Gustavo Olague, Cesar Puente
GECCO
2006
Springer
165views Optimization» more  GECCO 2006»
15 years 10 months ago
Comparing mathematical models on the problem of network inference
In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different mathemat...
Christian Spieth, Nadine Hassis, Felix Streichert
« Prev « First page 1872 / 2178 Last » Next »