3362 search results - page 381 / 673 » A definition of subjective possibility |
185
click to vote
WOSS
2004
ACM
16 years 4 days ago
2004
ACM
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...
174
click to vote
WOSS
2004
ACM
16 years 4 days ago
2004
ACM
Recently there has been increasing interest in developing systems that can adapt dynamically to cope with changing environmental conditions and unexpected system errors. Most effo...
181
click to vote
AMAST
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
160
click to vote
CCS
2004
ACM
16 years 4 days ago
2004
ACM
WinZip is a popular compression utility for Microsoft Windows computers, the latest version of which is advertised as having “easy-to-use AES encryption to protect your sensitiv...
165
click to vote
CIKM
2004
Springer
16 years 4 days ago
2004
Springer
We examine the problem of retrieving the top-m ranked items from a large collection, randomly distributed across an n-node system. In order to retrieve the top m overall, we must ...