974 search results - page 156 / 195 » Formal Modeling of Communication Traces |
102
click to vote
PPOPP
2012
ACM
13 years 6 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
101
click to vote
EJC
2008
15 years 23 days ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
IWCMC
2009
ACM
15 years 5 months ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...
100
click to vote
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
— In this paper, we study QoS routing in wireless mesh networks with cognitive radios, which involves route selection, channel allocation and scheduling. It turns out to be a har...