2261 search results - page 419 / 453 » Relationships Between Models of Concurrency |
121
click to vote
ENTCS
2006
14 years 11 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
133
click to vote
FUIN
2007
14 years 11 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
114
click to vote
TMM
2002
14 years 11 months ago
2002
Abstract--Current video-on-demand (VoD) systems can be classified into two categories: 1) true-VoD (TVoD) and 2) near-VoD (NVoD). TVoD systems allocate a dedicated channel for ever...
111
Voted
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Peta-scale scientific applications running on High End Computing (HEC) platforms can generate large volumes of data. For high performance storage and in order to be useful to scien...
106
click to vote
TON
2010
14 years 6 months ago
2010
The cognitive radio (CR) paradigm calls for open spectrum access according to a predetermined etiquette. Under this paradigm, CR nodes access the spectrum opportunistically by cont...