Sciweavers

4419 search results - page 519 / 884
» Information Science in Transition
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 6 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
SIGPLAN
2008
15 years 6 months ago
Injecting programming language concepts throughout the curriculum: an inclusive strategy
As research in programming language design, implementation, and application advances, we must regularly revisit the undergraduate curriculum to ensure course content advances simi...
Mark W. Bailey
CAD
2004
Springer
15 years 6 months ago
Multiple-view feature modelling for integral product development
To allow a designer to focus on the information that is relevant for a particular product development phase, is an important aspect of integral product development. Unlike current...
Willem F. Bronsvoort, Alex Noort
CAD
2004
Springer
15 years 6 months ago
A multi-resolution topological representation for non-manifold meshes
We address the problem of representing and processing 3D objects, described through simplicial meshes, which consist of parts of mixed dimensions, and with a non-manifold topology...
Leila De Floriani, Paola Magillo, Enrico Puppo, Da...
CAD
2004
Springer
15 years 6 months ago
Customizability analysis in design for mass customization
Product customization has been recognized as an effective means to implement mass customization. This paper focuses on the customizability issue of design, that is, to evaluate th...
Jianxin Jiao, Mitchell M. Tseng