5477 search results - page 510 / 1096 » Contexts, Domains, and Software |
173
click to vote
IUI
2005
ACM
16 years 1 months ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
193
click to vote
WOSP
2005
ACM
16 years 1 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
183
click to vote
CEEMAS
2005
Springer
16 years 1 months ago
2005
Springer
Nowadays the design of user interfaces has become a discipline of great importance in Software Engineering, mainly due to the increasing impact that a high quality user interface h...
204
click to vote
ESOP
2005
Springer
16 years 1 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
191
click to vote
FM
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...