4850 search results - page 826 / 970 » Proof and Computation in Geometry |
164
click to vote
LICS
2007
IEEE
16 years 23 days ago
2007
IEEE
We introduce the concept of locally excluded minors. Graph classes locally excluding a minor are a common generalisation of the concept of excluded minor classes and of graph clas...
166
click to vote
LICS
2007
IEEE
16 years 23 days ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
145
click to vote
LICS
2007
IEEE
16 years 23 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
163
click to vote
RTSS
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
181
click to vote
CIS
2007
Springer
16 years 20 days ago
2007
Springer
— Privacy is the claim of individuals, groups and institutions to determine for themselves, when, how and to what extent information about them is communicated to others. How to ...