1626 search results - page 291 / 326 » Subtyping with Power Types |
ICISS
2005
Springer
15 years 7 months ago
2005
Springer
The event-condition-action paradigm (also known as triggers or rules) is a powerful technology. It gives a database “active” capabilities – the ability to react automatically...
145
click to vote
ISRR
2005
Springer
15 years 7 months ago
2005
Springer
NASA’s Mars Exploration Rovers (MER) have collected a great diversity of geological science results, thanks in large part to their surface mobility capabilities. The six wheel r...
113
click to vote
RTA
2005
Springer
15 years 7 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
121
click to vote
ISLPED
2004
ACM
15 years 7 months ago
2004
ACM
We present a novel temperature/leakage sensor, developed for high-speed, low-power, monitoring of processors and complex VLSI chips. The innovative idea is the use of 4T SRAM cell...
139
click to vote
PDC
2004
ACM
15 years 7 months ago
2004
ACM
Most experiments with participative design are with small scale, stand alone and not very strategic applications of ICT in organizations. However, modern ICT applications are incr...