2850 search results - page 368 / 570 » On Timed Models and Full Abstraction |
173
click to vote
BPSC
2010
15 years 5 months ago
2010
: The Internet of Services promotes distributable, composable and tradeable services as first-class entities. Such services are assumed to encompass the full range from electronic...
186
click to vote
TC
2011
15 years 1 months ago
2011
— Implementing shared memory consistency models on top of hardware caches gives rise to the well-known cache coherence problem. The standard solution involves implementing cohere...
170
click to vote
IANDC
2006
15 years 6 months ago
2006
Abstract. History independent data structures, presented by Micciancio, are data structures that possess a strong security property: even if an intruder manages to get a copy of th...
194
click to vote
COORDINATION
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Tuple spaces have turned out to be one of the most fundamental abstractions for coordinating communicating agents. At the same time, researchers continue to propose new v...
193
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...