204 search results - page 16 / 41 » Integrated Modeling and Analysis Generator Environment (IMAG... |
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
EPIA
2005
Springer
14 years 28 days ago
2005
Springer
Space applications’ users have been relying for the past decades on custom developed software tools capable of addressing short term necessities during critical Spacecraft contro...
COLCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
Using a combination of machine learning probabilistic tools, we have shown that some chemistry students fail to develop productive problem solving strategies through practice alon...
APVIS
2001
13 years 8 months ago
2001
Information visualisation exploits the natural perceptual capabilities of the decisionfacilitate the rapid assimilation and analysis of abstract, complex and often voluminous info...
RBAC
2000
13 years 8 months ago
2000
: Enabling Technologies for Role Based Online Decision Engines Thomas Hildmann, Thomas Gebhardt 22-Feb-2000 The goal of our work at the Technical University of Berlin is to develop...