Sciweavers

322 search results - page 27 / 65
» Integrating technology into computer science examinations
Sort
View
CAD
2005
Springer
13 years 7 months ago
Deployment of an AEC industry sector product model
CIMsteel Integration Standard, Version 2 (CIS/2) is an industry-developed product model based on ISO-STEP technology that has been widely adopted within the steel construction ind...
Charles M. Eastman, F. Wang, S.-J. You, D. Yang
WAIM
2007
Springer
14 years 1 months ago
A New DBMS Architecture for DB-IR Integration
Nowadays, as there is an increasing need to integrate the DBMS (for structured data) with Information Retrieval (IR) features (for unstructured data), DB-IR integration becomes one...
Kyu-Young Whang
CHI
2007
ACM
14 years 8 months ago
SciNews online: scaffolding the construction of scientific explanations
Middle and high-school science teachers have traditionally introduced current events in the classroom to leverage news topics relevant to the curriculum, such as the Sumatra Tsuna...
Sebastian de la Chica
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 11 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
IPPS
2007
IEEE
14 years 1 months ago
Formal Analysis for Debugging and Performance Optimization of MPI
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
Ganesh Gopalakrishnan, Robert M. Kirby