4211 search results - page 546 / 843 » Types as Abstract Interpretations |
147
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. How do we construct credible personalities? The current SAL (Sensitive Artificial Listeners) characters were constructed intuitively and can be unconvincing. In addressin...
181
click to vote
MATES
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The formalization and use of experiences in good model design would make an important contribution to increasing the efficiency of modeling as well as to supporting the k...
139
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...
174
click to vote
POLICY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
166
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...