Sciweavers

3131 search results - page 169 / 627
» Generalized connection caching
Sort
View
GI
2005
Springer
15 years 6 months ago
Model-Based Requirements Engineering with AutoRAID
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
Bernhard Schätz, Andreas Fleischmann, Eva Gei...
TAMC
2009
Springer
15 years 5 months ago
Feasibility of Motion Planning on Directed Graphs
Because of irreversibility of movements, motion planning on directed graphs is much more intricate than that on graphs. Recently we showed that the feasibility of motion planning o...
Zhilin Wu, Stéphane Grumbach
IMPERIAL
1994
15 years 4 months ago
Geometric logic as a Specification Language
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
Steven Vickers
134
Voted
INFOCOM
1995
IEEE
15 years 4 months ago
Computing Approximate Blocking Probabilities for a Class of All-Optical Networks
W e study a class of all-optical networks using wavelength division multiplexing and wavelength routing in which a connection between a pair of nodes in the network is assigned a ...
Alexander Birman
92
Voted
DGCI
2008
Springer
15 years 2 months ago
Generation and Recognition of Digital Planes Using Multi-dimensional Continued Fractions
This paper extends, in a multi-dimensional framework, pattern recognition techniques for generation or recognition of digital lines. More precisely, we show how the connection bet...
Thomas Fernique