11484 search results - page 253 / 2297 » Modeling in the Large and Modeling in the Small |
197
click to vote
COGSR
2011
15 years 1 months ago
2011
We simulate the evolution of a domain vocabulary in small communities. Empirical data show that human communicators can evolve graphical languages quickly in a constrained task (P...
205
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
127
click to vote
CAISE
2007
Springer
16 years 23 days ago
2007
Springer
In this paper a new process modelling method especially for public administrations is presented. With established generic process modelling methods reorganisation projects in this ...
168
click to vote
IFM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
203
click to vote
SI3D
2005
ACM
16 years 4 days ago
2005
ACM
We present a sampling strategy and rendering framework for intersectable models, whose surface is implicitly defined by a black box intersection test that provides the location a...