3040 search results - page 193 / 608 » Synergetic Tool Environments |
142
click to vote
DAGSTUHL
1996
15 years 6 months ago
1996
lection of software tools including: NSL, a neural simulation language; ASL, an abstract schema language; and MissionLab, a schema-based mission-oriented simulation and robot imple...
152
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
155
Voted
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
165
Voted
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
151
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Performance analysis of high performance systems is a difficult task. Current tools have proven successful in analysis tasks but their implementation is limited in several respects...