2741 search results - page 226 / 549 » Engineering Mathematical Knowledge |
121
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The increasing complexity of configurable software systems creates a need for more intelligent sampling mechanisms to detect and locate failure-inducing dependencies between confi...
159
click to vote
VMCAI
2010
Springer
16 years 23 days ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
123
Voted
PEPM
2009
ACM
16 years 12 days ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
128
Voted
AUIC
2006
IEEE
15 years 9 months ago
2006
IEEE
User interfaces as well as documents use tabular layout mechanisms. The HTML table construct and the GridBag layout in Java are typical examples. There are, however, shortcomings ...
101
Voted
UIST
2005
ACM
15 years 9 months ago
2005
ACM
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...