5232 search results - page 143 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In the development of disciplines addressing dynamics, such as Mathematics and Physics, a major role was played by the assumption that processes can be modelled by introducing cer...
134
Voted
FIDJI
2003
Springer
15 years 7 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...
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
140
click to vote
JUCS
2010
14 years 8 months ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
102
Voted
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...