9425 search results - page 201 / 1885 » Some Notes on Models and Modelling |
113
click to vote
DIAGRAMS
2000
Springer
15 years 7 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
135
click to vote
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
144
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
110
click to vote
COCOON
2006
Springer
15 years 6 months ago
2006
Springer
Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of KondacsWatrous quantum finite automata. In this ...
119
click to vote
CCCG
2008
15 years 4 months ago
2008
We study the problem of computing Voronoi diagrams distributedly for a set of nodes of a network modeled as a Unit Disk Graph (UDG). We present an algorithm to solve this problem ...