Sciweavers

4600 search results - page 1 / 920
» Presenting the cyclotactor project
Sort
View
COLING
1992
13 years 6 months ago
Presentation Of The Eurolang Project
Bernard Seite, Daniel Bachut, D. Maret, Brigitte R...
WSC
2004
13 years 6 months ago
Simulating the Panama Canal: Present and Future
This paper presents the methodologies and preliminary results of the project to develop a simulation model of the Panama Canal, one of the most famous waterway and locks system of...
Luiz Augusto Gago Franzese, Luiz Otávio Abd...
ECEASST
2006
114views more  ECEASST 2006»
13 years 4 months ago
Semantic Issues of OCL: Past, Present, and Future
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
Achim D. Brucker, Jürgen Doser, Burkhart Wolf...