722 search results - page 104 / 145 » Development of Support Tool for NMR Spectrum Analysis |
ITICSE
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we describe our Computer Science Program Assessment (COMPASS) project. COMPASS uses open-source software tools to support the development and analysis of course por...
105
click to vote
AOSE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
EICS
2010
ACM
15 years 2 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
103
click to vote
APN
2000
Springer
15 years 1 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
MSV
2004
14 years 11 months ago
2004
Business visualization is an effective tool for business decision making and problem solving. Despite its obvious benefits, 3D visualization is far less common in practice than it...