1157 search results - page 232 / 232 » Descriptive Complexity and Model Checking |
WS
2010
ACM
13 years 4 months ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
APVIS
2011
12 years 6 months ago
2011
Robust analysis of vector fields has been established as an important tool for deriving insights from the complex systems these fields model. Many analysis techniques rely on co...