5726 search results - page 898 / 1146 » Supporting annotations on relations |
197
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
182
click to vote
TES
2000
Springer
15 years 10 months ago
2000
Springer
XML is rapidly becoming one of the most widely adopted technologies for information exchange and representation. As the use of XML becomes more widespread, we foresee the developme...
186
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
Atheoreticalframeworkisintroducedfortheperceptionofspecularsurfacegeometry.Whenanobserver moves in three-dimensional space, real scene features such as surface markings remain stat...
179
click to vote
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
— IP-based solutions to accommodate mobile hosts within existing internetworks do not address the distinctive features of wireless mobile computing. IP-based transport protocols ...
146
click to vote
KBSE
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes an effort to provide automated support for the interactive inquiry and explanation process that is at the heart of software understanding. A hypermedia tool c...