1407 search results - page 101 / 282 » Towards Usable Analysis, Design and Modeling Tools |
182
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
167
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
194
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
In parallel to the ITER project itself, many initiatives address complementary technological issues relevant to a fusion reactor, as well as many remaining scientific issues. One...
138
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Environmental sequence datasets are increasing at an exponential rate; however, the vast majority of them lack appropriate descriptors like sampling location, time and...
179
click to vote
SDL
2003
15 years 7 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...