3008 search results - page 147 / 602 » Mechanisms for Importing Modules |
123
click to vote
ICALT
2007
IEEE
15 years 4 months ago
2007
IEEE
School custom is the base of its sustainable development ability. Addressing the present dilemma of constructing the school customs, the paper argued school organizational knowled...
129
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
As increasing amounts of sensitive personal information is aggregated into data repositories, it has become important to develop mechanisms for processing the data without revealin...
150
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
146
click to vote
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Power delivery is a growing reliability concern in microprocessors as the industry moves toward feature-rich, powerhungrier designs. To battle the ever-aggravating power consumpti...
148
click to vote
CIKM
1994
Springer
15 years 8 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...