The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...