7529 search results - page 1272 / 1506 » The Modula-3 Type System |
146
click to vote
DAS
2004
Springer
15 years 12 months ago
2004
Springer
Annotations on digital documents have clear advantages over annotations on paper. They can be archived, shared, searched, and easily manipulated. Freeform digital ink annotations a...
135
click to vote
DIAGRAMS
2004
Springer
15 years 12 months ago
2004
Springer
The ‘graphicacy’ of student programmers was investigated using several cognitive tasks designed to assess ER knowledge representation at the perceptual, semantic and output lev...
167
click to vote
ECOOP
2004
Springer
15 years 12 months 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...
153
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
163
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...