2880 search results - page 331 / 576 » Types are calling conventions |
170
click to vote
ECOOP
2004
Springer
16 years 10 hour ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
174
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present two novel techniques to improve the quality of triangle surface meshes while preserving surface characteristics as much as possible. In contrast to previo...
160
click to vote
PET
2004
Springer
15 years 12 months ago
2004
Springer
We define a new type of mix network that offers a reduced form of robustness: the mixnet can prove that every message it outputs corresponds to an input submitted by a player wit...
137
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
We propose a personal knowledge publishing system called Semblog is realized with integration of Semantic Web techniques and Weblog tools. Semblog suite provides an integrated envi...
183
click to vote
ER
2003
Springer
15 years 12 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...