1818 search results - page 219 / 364 » Granularity-Adaptive Proof Presentation |
116
click to vote
COMCOM
2008
15 years 3 months ago
2008
The issue of breaking cycles in communication networks is an important topic for several reasons. For instance, it is required when transparent bridges are filling the forwarding ...
127
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
149
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
117
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we study phase transition behavior emerging from the interactions among multiple agents in the presence of noise. We propose a simple discrete-time model in which a...
126
click to vote
DAM
2010
15 years 3 months ago
2010
We study P6-free graphs, i.e., graphs that do not contain an induced path on six vertices. Our main result is a new characterization of this graph class: a graph G is P6-free if an...