5547 search results - page 964 / 1110 » Software Variability Management |
111
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
120
click to vote
ICMI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we introduce input adaptability as the ability of an application to exploit alternative sets of input devices effectively and offer users a way of adapting input in...
134
Voted
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
144
Voted
IWAN
2004
Springer
15 years 8 months ago
2004
Springer
The proliferation of computer viruses and Internet worms has had a major impact on the Internet Community. Cleanup and control of malicious software (malware) has become a key prob...
96
Voted
IWMM
2004
Springer
15 years 8 months ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...