4814 search results - page 807 / 963 » Combining abstract interpreters |
DAGSTUHL
2003
13 years 11 months ago
2003
Abstract. JavaViewLib is a new Maple package combined with the JavaView visualization toolkit that adds new interactivity to Maple plots in both web pages and worksheets. It provid...
FORTE
2001
13 years 11 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
LISA
2004
13 years 11 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
EON
2003
13 years 11 months ago
2003
Abstract. OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool. It combines a sophisticated graphical layout with mouse enabled editing features optimi...
METMBS
2004
13 years 11 months ago
2004
Abstract One approach to predict the secondary structure of RNA is the comparative approach. This approach is used when alignment of several homologous sequences of a RNA is availa...