783 search results - page 83 / 157 » The Bio-PEPA Tool Suite |
IWPC
1999
IEEE
14 years 11 days ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
IPPS
1998
IEEE
14 years 10 days ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
RTAS
1997
IEEE
14 years 9 days ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
CSCW
1996
ACM
14 years 7 days ago
1996
ACM
Teams whose members are in close physical proximity often rely on team rooms to serve both as meeting places and repositories of the documents and artifacts that support their pro...
ECLIPSE
2006
ACM
13 years 11 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...