2128 search results - page 161 / 426 » A general characterization of indulgence |
158
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
161
click to vote
ICASSP
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper discusses the issue of dynamic resource allocation (DRA) in the context of cognitive radio (CR) networks. We present a general framework adopting generalized transmitte...
163
click to vote
FCT
2005
Springer
16 years 1 days ago
2005
Springer
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
168
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts ...
172
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...