6794 search results - page 1103 / 1359 » Semantics of Visual Languages |
119
click to vote
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
188
click to vote
NLDB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Extracting information automatically from texts for database representation requires previously well-grouped phrases so that entities can be separated adequately. This pr...
163
click to vote
SPATIALCOGNITION
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
115
Voted
FDL
2003
IEEE
15 years 10 months ago
2003
IEEE
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
145
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...