3192 search results - page 54 / 639 » Translating Model Simulators to Analysis Models |
ANSS
1999
IEEE
14 years 1 months ago
1999
IEEE
The results presented here are based on many years of experience of development and application of DYANA
TOSEM
2002
13 years 8 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
WSC
2004
13 years 10 months ago
2004
We discuss ASAP3, a refinement of the batch means algorithms ASAP and ASAP2. ASAP3 is a sequential procedure designed to produce a confidence-interval estimator for the expected r...
AAI
2007
13 years 8 months ago
2007
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
APIN
2007
13 years 8 months ago
2007
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...