1301 search results - page 30 / 261 » Specifications via Realizability |
117
click to vote
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
As chip multiprocessors scale to a greater number of processing cores, on-chip interconnection networks will experience dramatic increases in both bandwidth demand and power dissi...
118
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
122
Voted
ECOOP
1998
Springer
15 years 7 months ago
1998
Springer
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
243
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
145
Voted
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...