18918 search results - page 3627 / 3784 » Using Technology in Teaching |
153
Voted
AOSD
2009
ACM
15 years 12 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
134
click to vote
PLDI
2009
ACM
15 years 12 months ago
2009
ACM
Software evolves to fix bugs and add features. Stopping and restarting programs to apply changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this ...
126
click to vote
TEI
2009
ACM
15 years 12 months ago
2009
ACM
In this paper we introduce a new way to interact intimately with an automated system. The Intimate Door Lock investigates the psychological effects of intimate humanhuman interact...
157
click to vote
EDBT
2009
ACM
15 years 12 months ago
2009
ACM
To our best knowledge, all existing graph pattern mining algorithms can only mine either closed, maximal or the complete set of frequent subgraphs instead of graph generators whic...
147
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...