2436 search results - page 356 / 488 » Comonadic Notions of Computation |
122
click to vote
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a wireless medium access control (MAC) protocol that provides static-priority scheduling of messages in a guaranteed collision-free manner. Our protocol supports multip...
153
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
108
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
117
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
149
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...