9425 search results - page 1519 / 1885 » Some Notes on Models and Modelling |
173
click to vote
LATIN
2004
Springer
16 years 4 days ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
177
click to vote
NMR
2004
Springer
16 years 4 days ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
177
click to vote
OTM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ...
170
click to vote
PDCAT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...
162
click to vote
PET
2004
Springer
16 years 4 days ago
2004
Springer
Traditional methods for evaluating the amount of anonymity afforded by various Mix configurations have depended on either measuring the size of the set of possible senders of a p...