1432 search results - page 97 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
140
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: High-throughput molecular biology provides new data at an incredible rate, so that the increase in the size of biological databanks is enormous and very rapid. This sc...
175
Voted
IWPSE
2003
IEEE
15 years 8 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
129
click to vote
FLAIRS
2007
15 years 5 months ago
2007
We are working on a project aimed at building next generation analyst support tools that focus analysts’ attention on the most critical and novel information found within the da...
110
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Novel tools are needed to deploy multi-agent networks in applications that require a high degree of accuracy in the achievement and maintenance of geometric formations. This is...
149
click to vote
SPIN
2000
Springer
15 years 7 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 ...