6014 search results - page 1126 / 1203 » Parametric Analysis of Computer Systems |
114
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Present-day `-omics' technologies produce overwhelming amounts of data which include genome sequences, information on gene expression (transcripts and proteins) a...
140
Voted
ENTCS
2008
15 years 2 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
140
Voted
JSYML
2007
15 years 2 months ago
2007
We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus ...
241
Voted
SSDBM
2011
IEEE
14 years 6 months ago
2011
IEEE
Database technology remains underused in science, especially in the long tail the small labs and individual researchers that collectively produce the majority of scienti c output...
121
Voted
VLSID
2006
IEEE
16 years 3 months ago
2006
IEEE
- Security protocols, such as IPSec and SSL, are being increasingly deployed in the context of networked embedded systems. The resource-constrained nature of embedded systems and, ...