4600 search results - page 1 / 920 » Presenting the cyclotactor project |
54
Voted
TEI
2010
ACM
15 years 4 months ago
2010
ACM
PSB
2003
14 years 11 months ago
2003
COLING
1992
14 years 11 months ago
1992
WSC
2004
14 years 11 months ago
2004
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...
ECEASST
2006
14 years 10 months ago
2006
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...