2806 search results - page 246 / 562 » BML and Related Tools |
171
click to vote
OODBS
2000
15 years 10 months ago
2000
Visual object database browsers are essentially based on two kinds of interactions: navigation within a collection of objects, and navigation between objects via their relationshi...
204
Voted
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 ...
155
Voted
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...
165
click to vote
GREC
2009
Springer
15 years 10 months ago
2009
Springer
Two hundred web tables from ten sites were imported into Excel. The tables were edited as needed, then converted into layout independent Wang using the Table Abstraction Tool (TAT)...
148
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we present the complete design and architectural details of MAIZEROUTER. MAIZEROUTER reflects a significant leap in progress over existing publicly available routing...