3710 search results - page 515 / 742 » A new calculus of contexts |
260
click to vote
SC
2005
ACM
16 years 5 days ago
2005
ACM
As device scales shrink, higher transistor counts are available while soft-errors, even in logic, become a major concern. A new class of architectures, such as Merrimac and the IB...
192
click to vote
WOSP
2005
ACM
16 years 5 days ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
166
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
The steel production of the German company Saarstahl AG, a global respected steel manufacturer, represents a Supply Chain which comprehends several time-critical and highly interf...
154
click to vote
CHARME
2005
Springer
16 years 5 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
173
click to vote
CRYPTO
2005
Springer
16 years 5 days ago
2005
Springer
Secret-key agreement between two parties Alice and Bob, connected by an insecure channel, can be realized in an informationtheoretic sense if the parties share many independent pai...