9425 search results - page 208 / 1885 » Some Notes on Models and Modelling |
122
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Parallel solution of irregular problems require solving the graph partitioning problem. The extended eigenproblem appears as the solution of some relaxed formulations of the graph ...
110
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
122
click to vote
FLAIRS
2008
15 years 5 months ago
2008
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
132
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
133
click to vote
CMMR
2005
Springer
15 years 5 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...