Sciweavers

4924 search results - page 199 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
129
Voted
BMCBI
2008
107views more  BMCBI 2008»
15 years 4 months ago
Multi-agent systems in epidemiology: a first step for computational biology in the study of vector-borne disease transmission
Background: Computational biology is often associated with genetic or genomic studies only. However, thanks to the increase of computational resources, computational models are ap...
Benjamin Roche, Jean-François Guégan...
BMCBI
2010
137views more  BMCBI 2010»
15 years 4 months ago
Biana: a software framework for compiling biological interactions and analyzing networks
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...
Javier Garcia-Garcia, Emre Guney, Ramon Aragues, J...
CODES
1998
IEEE
15 years 8 months ago
Schedulability analysis of heterogeneous systems for performance message sequence chart
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
Frank Slomka, Jürgen Zant, Lennard Lambert
QSIC
2005
IEEE
15 years 9 months ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata
SIGADA
2007
Springer
15 years 10 months ago
AADL modeling and analysis of hierarchical schedulers
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
Frank Singhoff, Alain Plantec