3082 search results - page 389 / 617 » its 2004 |
205
click to vote
CAISE
2004
Springer
16 years 6 days ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
168
click to vote
CAISE
2004
Springer
16 years 6 days ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
170
click to vote
CARDIS
2004
Springer
16 years 6 days ago
2004
Springer
DeKaRT primitives are key-dependent reversible circuits presented at CHES 2003. According to the author, the circuits described are suitable for data scrambling but also as buildin...
173
click to vote
CARDIS
2004
Springer
16 years 6 days ago
2004
Springer
CMOS gates consume different amounts of power whether their output has a falling or a rising edge. Therefore the overall power consumption of a CMOS circuit leaks information about...
174
click to vote
CASSIS
2004
Springer
16 years 6 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...