2765 search results - page 298 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
162
click to vote
APLAS
2004
ACM
16 years 5 days ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
172
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
151
click to vote
WSC
2004
15 years 8 months ago
2004
This paper discusses a new approach that facilitates the use of simulation in supply chain applications, especially for manufacturing-related activities. A neutral information rep...
152
click to vote
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
193
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper presents a method for camera pose tracking that uses a partial knowledge about the scene. The method is based on monocular vision Simultaneous Localization And Mapping ...