959 search results - page 42 / 192 » Three Features for Component Frameworks |
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
As the field of agent-based systems continues to expand rapidly, one of the most significant problems lies in being able to compare and evaluate the relative benefits and disad...
GEOINFO
2004
15 years 1 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
RECSYS
2009
ACM
15 years 6 months ago
2009
ACM
Utility or preference elicitation is a critical component in many recommender and decision support systems. However, most frameworks for elicitation assume a predefined set of fe...