3435 search results - page 170 / 687 » Aspect Model Unweaving |
165
click to vote
CAISE
1999
Springer
15 years 10 months ago
1999
Springer
Whilst it is a common task in systems integration to have to transform between di erent semantic data models, such inter-model transformations are often speci ed in an ad hoc manne...
169
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Documents often contain inherently many concepts reflecting specific and generic aspects. To automatically generate a short summary text of documents on similar topics, it is im...
151
click to vote
ICECCS
2005
IEEE
16 years 1 days ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
162
click to vote
KI
2009
Springer
15 years 11 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
178
click to vote
MS
2003
15 years 7 months ago
2003
This paper describes a modeling, simulation, and evaluation system for planetary simulation, including dynamic 3D-visualization, event capturing, and experiment management. Becaus...