3161 search results - page 64 / 633 » Documenting framework behavior |
121
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
130
Voted
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
137
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
Many of today’s complex systems are multithreaded servers that effectively run forever and need to work under varying loads and environments. Understanding the behavior of such ...
110
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
XML Schema documents are defined using an XML syntax, which means that the idea of generating schema documentation through standard XML technologies is intriguing. We present X2Do...
110
Voted
ICAIL
1997
ACM
15 years 6 months ago
1997
ACM
The capacity for self-explanation can makecomputer-drafted documents more credible, assist in the retrieval and adaptation of archival documents, and permit comparison of document...