15783 search results - page 3130 / 3157 » Evidence-Based Software Engineering |
HPDC
1996
IEEE
13 years 11 months ago
1996
IEEE
' The coming of giga-bit networks makes possible the realization ofa single nationwide virtual computer comprised of a variety of geographically distributed highpe6ormance mac...
FM
1997
Springer
13 years 11 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
VLDB
1997
ACM
13 years 11 months ago
1997
ACM
The current integrated developments in network and computing give rise to a technical infrastructure for the information society which one may variously circumscribe by terms such...
ICRA
1994
IEEE
13 years 11 months ago
1994
IEEE
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
ESA
1993
Springer
13 years 11 months ago
1993
Springer
A digraph is upward planar if it has a planar drawing such that all the edges are monotone with respect to the vertical direction. Testing upward planarity and constructing upward ...