223 search results - page 23 / 45 » Automated Implicit Computational Complexity Analysis (System... |
147
Voted
ECAL
1995
Springer
15 years 7 months ago
1995
Springer
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
128
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
136
Voted
NSDI
2004
15 years 4 months ago
2004
We present a new approach to managing failures and evolution in large, complex distributed systems using runtime paths. We use the paths that requests follow as e through the syst...
151
Voted
DLOG
2010
15 years 1 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
118
click to vote
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...