2468 search results - page 312 / 494 » Aggregation operators 2003 |
SPAA
2003
ACM
14 years 2 months ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
WPES
2003
ACM
14 years 2 months ago
2003
ACM
Hidden Credentials are useful in situations where requests for service, credentials, access policies and resources are extremely sensitive. We show how transactions which depend o...
ACNS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. To gain access to account privileges, an intruder masquerades as the proper account user. Information from user feedback helps to improve the accuracy of classifiers use...
ADAEUROPE
2003
Springer
14 years 2 months ago
2003
Springer
This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be extended to enpower devel...
ADAEUROPE
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Although Ada defines a number of mechanisms for specifying scheduling policies, only one, Fifo Within Priorities is guaranteed to be supported by all implementations of ...