8627 search results - page 1675 / 1726 » Software Engineering Using RATionale |
102
click to vote
VEE
2005
ACM
15 years 6 months ago
2005
ACM
Virtual Machine (VM) environments (e.g., VMware and Xen) are experiencing a resurgence of interest for diverse uses including server consolidation and shared hosting. An applicati...
128
Voted
CIKM
2005
Springer
15 years 6 months ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
137
click to vote
MOBICOM
2004
ACM
15 years 6 months ago
2004
ACM
Future vehicular networks are expected to deploy shortrange communication technology for inter-vehicle communication. In addition to vehicle-to-vehicle communication, users will b...
121
click to vote
LCPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
103
Voted
FSTTCS
2003
Springer
15 years 5 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...