9425 search results - page 237 / 1885 » Some Notes on Models and Modelling |
133
Voted
FORTE
2004
15 years 5 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
138
Voted
MASCOTS
2003
15 years 5 months ago
2003
Abstract. The availability of reliable models of computer virus propagation would prove useful in a number of ways, in order both to predict future threats, and to develop new cont...
131
Voted
FORTE
1997
15 years 5 months ago
1997
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...
124
Voted
CASCON
1993
15 years 5 months ago
1993
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
145
Voted
UAI
2007
15 years 4 months ago
2007
The next development in building Bayesian networks will most likely entail constructing multipurpose models that can be employed for varying tasks and by different types of user. ...