4600 search results - page 1 / 920 » Presenting the cyclotactor project |
66
Voted
TEI
2010
ACM
15 years 7 months ago
2010
ACM
111
Voted
PSB
2003
15 years 1 months ago
2003
43
Voted
COLING
1992
15 years 1 months ago
1992
84
Voted
WSC
2004
15 years 1 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...
99
Voted
ECEASST
2006
15 years 12 days 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...