379 search results - page 21 / 76 » Transformation-Based Structure Model Evolution |
133
click to vote
EUROGP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
125
click to vote
SEFM
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
164
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Epidemic models based on nonlinear differential equations have been extensively applied in a variety of systems as diverse as infectious outbreaks, marketing, diffusion of belie...
138
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Ribonuclease P is an ancient endonuclease that cleaves precursor tRNA and generally consists of a catalytic RNA subunit (RPR) and one or more proteins (RPPs). It repre...
146
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Remote homology detection is a challenging problem in Bioinformatics. Arguably, profile Hidden Markov Models (pHMMs) are one of the most successful approaches in addre...