9425 search results - page 397 / 1885 » Some Notes on Models and Modelling |
135
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
118
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
Based on the idea that the closer the query terms in a document are, the more relevant this document is, we propose a mathematical model of information retrieval based on a fuzzy ...
138
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
140
click to vote
NOSSDAV
2005
Springer
15 years 10 months ago
2005
Springer
This paper analyses the traffic characteristics of, and proposes a traffic model for, the Xbox game Halo 2. Our goal is to help players and network providers to estimate the amoun...
108
click to vote
ACMICEC
2004
ACM
2004
ACM
Analysing preventative and detective control mechanisms in international trade using value modelling
15 years 10 months ago
Exploration and development of e-business models takes a series of viewpoints. One important perspective is the value web perspective, which can be modelled using the e3value meth...