15253 search results - page 318 / 3051 » Integer-Programming Software Systems |
169
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Hardware devices can fail, but many drivers assume they do not. When confronted with real devices that misbehave, these assumptions can lead to driver or system failures. While ma...
178
click to vote
EWSA
2004
Springer
16 years 4 days ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
166
click to vote
RSCTC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present the next version (ver. 2.1) of the Rough Set Exploration System – a software tool featuring a library of methods and a graphical user interface supporting va...
160
click to vote
IWPC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a collection of algorithms that we developed and implemented to facilitate the automatic recovery of the modular structure of a software system from its sourc...
167
Voted
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
How and why does software evolve? This question has been under study since almost 40 years ago, and it is still a subject of controversy. In the seventies, Meir M. Lehman formulat...