2027 search results - page 277 / 406 » Process Support for Tools Interoperability |
114
Voted
HPDC
1997
IEEE
15 years 6 months ago
1997
IEEE
We describe a software infrastructure designed to support the development of applications that use high-speed networks to connect geographically distributed supercomputers, databa...
244
Voted
AWPN
2008
15 years 4 months ago
2008
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...
104
Voted
JCDL
2004
ACM
15 years 8 months ago
2004
ACM
Software tools, including Web browsers, e-books, electronic document formats, search engines, and digital libraries are changing the way people read, making it easier for them to ...
122
Voted
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
146
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Recent advances with high-throughput methods in life-science research have increased the need for automatized data analysis and visual exploration techniques. Sophisti...