4418 search results - page 406 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
183
click to vote
ICECCS
2005
IEEE
16 years 13 days ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
169
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
In this paper, we consider the problem of file synchronization when a mobile host shares files with a backbone file server in a network file system. Several diff schemes have been...
182
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
182
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Parallel computing is becoming increasing central and mainstream, driven both by the widespread availability of commodity SMP and high-performance cluster platforms, as well as th...
173
click to vote
BXML
2004
15 years 8 months ago
2004
: Whenever transformation of data is used to bridge the gap of different data formats, and a query is given in the destination format, query reformulation can speed up the transfor...