4418 search results - page 489 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
218
click to vote
PODC
1994
ACM
15 years 11 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
225
click to vote
HT
1993
ACM
15 years 11 months ago
1993
ACM
Traditional concurrency control techniques for database systems (transaction management based on locking protocols) have been successful in many multiuser settings, but these tech...
194
Voted
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Real-time image processing tasks not only require high computing power but also high data bandwidth. Though current processors excel in computing power, memory throughput is still...
207
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
142
Voted
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditionally, the telecom industry has used clusters to meet its carrier-class requirements of high availability, reliability, and scalability, while relying on cost-effective ha...