Sciweavers

15636 search results - page 60 / 3128
» Modelling by supersaturated designs
Sort
View
ISOLA
2004
Springer
15 years 11 months ago
Model Checker Aided Design of a Controller for a Wafer Scanner
Martijn Hendriks, Barend van den Nieuwelaar, Frits...
MOZ
2004
Springer
15 years 11 months ago
Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
Torsten Anders, Christina Anagnostopoulou, Michael...