11063 search results - page 1863 / 2213 » On the existence of universal models |
214
click to vote
FASE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
185
click to vote
FIDJI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. GOLD (Grid-based Information Models to Support the Rapid Innovation of New High Value-Added Chemicals) is concerned with the dynamic formation and management of virtual o...
173
click to vote
GD
2004
Springer
16 years 5 days ago
2004
Springer
It has been noted that many realistic graphs have a power law degree distribution and exhibit the small world phenomenon. We present drawing methods influenced by recent developm...
176
click to vote
ICWE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...
163
Voted
ICWL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In many circumstances, including e-learning, there is a need to reorganize digital resources, scattered in many places, into a coherently accessible repository. This pape...