7918 search results - page 394 / 1584 » Model Composition Directives |
140
click to vote
CIBCB
2005
IEEE
15 years 12 months ago
2005
IEEE
— PTS1 proteins are peroxisomal matrix proteins that have a well conserved targeting motif at the C-terminal end. However, this motif is present in many non peroxisomal proteins ...
169
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
172
click to vote
BPM
2005
Springer
15 years 11 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
159
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
167
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...