7681 search results - page 1253 / 1537 » Typed Membrane Systems |
217
click to vote
DALT
2004
Springer
16 years 28 days ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...
171
click to vote
DAS
2004
Springer
16 years 28 days 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...
159
click to vote
DIAGRAMS
2004
Springer
16 years 28 days 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...
208
click to vote
ECOOP
2004
Springer
16 years 28 days 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...
182
click to vote
ER
2004
Springer
16 years 28 days 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 ...