7623 search results - page 422 / 1525 » Constructive Volume Modeling |
197
click to vote
FIDJI
2003
Springer
15 years 12 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
158
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
: It has always been assumed that fault models in memories are sufficiently precise for specifying the faulty behavior. This means that, given a fault model, it should be possible...
190
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
To understand how people search for a known target item in an unordered pull-down menu, this research presents cognitive models that vary serial versus parallel processing of menu...
205
click to vote
PADS
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we study message flow processes in distributed simulators of open queueing networks. We develop and study queueing models for distributed simulators with maximum loo...
167
click to vote
EKAW
1994
Springer
15 years 10 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...