3819 search results - page 467 / 764 » Simple Easy Terms |
158
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
141
Voted
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...
197
click to vote
NORDSEC
2009
Springer
16 years 1 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
161
click to vote
NOSSDAV
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a simple and fully distributed mechanism for constructing and maintaining the overlay topology in mesh-based P2P-TV systems. Our algorithm optimizes the ...
202
click to vote
PRIB
2009
Springer
16 years 1 months ago
2009
Springer
For many biomedical modelling tasks a number of different types of data may influence predictions made by the model. An established approach to pursuing supervised learning with ...