5434 search results - page 87 / 1087 » Tool support for MOLA |
148
click to vote
WSC
2004
15 years 7 months ago
2004
An interactive tool has been developed for visualizing and creating scaled battlefield based scenarios for use in a simulation testbed to develop and test distributed data fusion ...
169
click to vote
MAGS
2008
15 years 5 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
182
click to vote
INFOVIS
2002
IEEE
15 years 10 months ago
2002
IEEE
Radial, space-filling (RSF) techniques for hierarchy visualization have several advantages over traditional node-link diagrams, including the ability to efficiently use the disp...
152
click to vote
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
141
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...