5830 search results - page 25 / 1166 » Automatic link generation |
ENTCS
2002
13 years 7 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
DL
2000
Springer
13 years 12 months ago
2000
Springer
This paper describes research on the automatic generation of hypermedia or Web-based presentations for semi-structured data resulting from ad-hoc queries. We identify how differen...
RSA
2010
13 years 6 months ago
2010
The weight of a randomly chosen link in the shortest path tree on the complete graph with exponential i.i.d. link weights is studied. The corresponding exact probability generatin...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
A new generation of "behavior-aware" delay tolerant networks is emerging in what may define future mobile social
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...