Sciweavers

4600 search results - page 1 / 920
» Presenting the cyclotactor project
Sort
View
103
Voted
PSB
2003
15 years 1 months ago
SNP Analysis and Presentation in the Pharmacogenetics of Membrane Transporters Project
Doug Stryke, Conrad C. Huang, Michiko Kawamoto, Su...
COLING
1992
15 years 24 days ago
Presentation Of The Eurolang Project
Bernard Seite, Daniel Bachut, D. Maret, Brigitte R...
WSC
2004
15 years 1 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»
14 years 11 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...