9425 search results - page 264 / 1885 » Some Notes on Models and Modelling |
148
Voted
ENTCS
2008
15 years 4 months ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
109
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Using Dirac Notation as a powerful tool, we investigate the three classical Information Retrieval (IR) models and some their extensions. We show that almost all such models can be...
119
click to vote
KI
2008
Springer
15 years 3 months ago
2008
Springer
This paper explores the applicability of two formal models of spatial relations, Double Cross and RfDL3-12, to interpret some typical expressions that people use for describing a r...
122
click to vote
TCAD
2008
15 years 3 months ago
2008
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
125
click to vote
PE
2000
Springer
15 years 3 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...