3763 search results - page 458 / 753 » Component-Based Software Engineering Processes |
191
click to vote
APSEC
2005
IEEE
16 years 8 days ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
136
click to vote
IWPC
2005
IEEE
16 years 6 days ago
2005
IEEE
In order to make frameworks easier to use we need to better understand the difficulties that programmers have with them. The questions that programmers ask give clues to the qual...
145
click to vote
IUI
2005
ACM
16 years 6 days 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...
143
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
We describe several approaches for using prosodic features of speech and audio localization to control interactive applications. This information can be applied to parameter contr...
165
click to vote
WOSP
2005
ACM
16 years 6 days 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...