1111 search results - page 171 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
114
click to vote
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
162
click to vote
WAW
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. Analysis of aggregate and individual Web requests shows that PageRank is a poor predictor of traffic. We use empirical data to characterize properties of Web traffic not ...
144
Voted
CAISE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
128
click to vote
SADM
2011
14 years 9 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...
105
click to vote
IFIP
2001
Springer
15 years 7 months ago
2001
Springer
This paper uses semiotic theories to model how meaning is constructed during an IS development project. Conventionally, shared meanings among all project stakeholders are regarded...