218 search results - page 42 / 44 » Risk Assessment in Complex Interacting Infrastructure System... |
ICNP
1998
IEEE
13 years 11 months ago
1998
IEEE
The Internet is rapidly changing from a set of wires and switches that carry packets into a sophisticated infrastructure that delivers a set of complex value-added services to end...
TPHOL
1999
IEEE
13 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
BMCBI
2008
13 years 7 months ago
2008
Background: In gene expression analysis, statistical tests for differential gene expression provide lists of candidate genes having, individually, a sufficiently low p-value. Howe...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
SSDBM
2011
IEEE
12 years 11 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...