10239 search results - page 1812 / 2048 » Postmodern Software Development |
ACSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
How can Alice trust computation occurring at Bob's computer? Since it exists and is becoming ubiquitous, the current-generation TCPA/TCG hardware might enable a solution. Whe...
159
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
124
click to vote
ADG
2006
Springer
15 years 6 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
142
click to vote
AHS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper gives an overview over the progress that has been made by the Heidelberg FPTA group within the field of analog evolvable hardware. Achievements are the design of a CMOS...
123
click to vote
APCHI
2004
IEEE
15 years 6 months ago
2004
IEEE
When continuous 3D shapes or enclosed structures, such as solid objects or skeletons, are mapped onto a 2D screen, simplifications such as hulls and wire frames are suitable visual...