3053 search results - page 92 / 611 » Structured Objects: Modeling and Reasoning |
120
click to vote
IV
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
122
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
150
click to vote
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
133
click to vote
TGIS
2002
15 years 2 months ago
2002
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...
157
click to vote
ECOOP
1992
Springer
15 years 7 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...