Sciweavers

2025 search results - page 260 / 405
» Software performance modelling using PEPA nets
Sort
View
KCAP
2003
ACM
15 years 8 months ago
Aiding knowledge capture by searching for extensions of knowledge models
Electronic concept mapping tools empower experts to play an active role in the knowledge capture process, and provide a medium for building richly connected multimedia knowledge m...
David B. Leake, Ana Gabriela Maguitman, Thomas Rei...
BMCBI
2010
98views more  BMCBI 2010»
15 years 3 months ago
An optimized TOPS+ comparison method for enhanced TOPS models
nd: Although methods based on highly abstract descriptions of protein structures, such as VAST and TOPS, can perform very fast protein structure comparison, the results can lack a...
Mallika Veeramalai, David Gilbert, Gabriel Valient...
SCFBM
2008
119views more  SCFBM 2008»
15 years 2 months ago
Boolean network simulations for life scientists
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...
István Albert, Juilee Thakar, Song Li, Ranr...
FORMATS
2009
Springer
15 years 10 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
APSEC
2000
IEEE
15 years 7 months ago
Survivability Analysis of Networked Systems
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
Jeannette M. Wing