9425 search results - page 233 / 1885 » Some Notes on Models and Modelling |
121
Voted
OTM
2004
Springer
15 years 9 months ago
2004
Springer
The objective of the Ph.D. work discussed in this paper is to define a methodology for the design of distributed applications, in line with the ModelDriven Architecture (MDA). An i...
122
Voted
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we describe a model of the process by which people solve problems using information visualization systems. The model was based on video analysis of forty dyads who p...
125
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
The term social navigation refers to the process of seeking social interaction as a source of navigational support. In this paper we present a computational model of social naviga...
138
Voted
CAV
2003
Springer
15 years 9 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
149
Voted
ER
2003
Springer
15 years 9 months ago
2003
Springer
Agent-oriented modeling of software and information systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We argue t...