4600 search results - page 1 / 920 » Presenting the cyclotactor project |
56
Voted
TEI
2010
ACM
15 years 5 months ago
2010
ACM
PSB
2003
15 years 3 days ago
2003
COLING
1992
14 years 12 months ago
1992
WSC
2004
15 years 3 days 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...