5343 search results - page 906 / 1069 » Keyword programming in java |
175
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...
174
click to vote
PPDP
2005
Springer
2005
Springer
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
15 years 12 months ago
Formal methods have proved to be very useful for analyzing cryptographic protocols. However, most existing techniques apply to the case of abstract encryption schemes and pairing....
204
click to vote
UM
2005
Springer
15 years 12 months ago
2005
Springer
We develop a novel user-centric modeling technology, which can dynamically describe and update a person's expertise profile. In an enterprise environment, the technology can e...
175
click to vote
DIGRA
2005
Springer
15 years 12 months ago
2005
Springer
Academic interest in game development and game studies has grown steadily in recent years, with many institutions now offering courses or programs in this area. To provide a truly...
170
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...