6197 search results - page 343 / 1240 » Sandbridge Software Tools |
184
click to vote
ISESE
2005
IEEE
16 years 9 days ago
2005
IEEE
Programmers often have to perform change tasks that involve unfamiliar portions of a software system’s code base. To help inform the design of software development tools intende...
190
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
159
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Multi-observer segmentation evaluation is useful in the imaging community. We have developed a web-based software application for automatic performance evaluation of multiple imag...
213
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
171
click to vote
EGC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The development and deployment of middleware and applications in a grid environment spread over many institutions is a complex challenge. The management of the developmen...