1382 search results - page 166 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
COOP
2004
14 years 11 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
PROMAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
102
click to vote
ICDT
2012
ACM
13 years 12 days ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
BMCBI
2008
14 years 10 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
BMCBI
2006
14 years 10 months ago
2006
Background: The biological information in genomic expression data can be understood, and computationally extracted, in the context of systems of interacting molecules. The automat...