162 search results - page 15 / 33 » A note on an extension of PDL |
AFP
1995
Springer
15 years 3 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
115
click to vote
DSVIS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Plasticity of User Interfaces (UIs) refers to the ability of UIs to withstand variations of context of use (<User, Platform, Environment>) while preserving usabilit...
OWLED
2008
15 years 1 months ago
2008
Predicting the performance of a tableau reasoner for an OWL ontology is generally hard. It is even harder for users who are not familiar with the details of tableau algorithms. In ...
IADIS
2004
15 years 1 months ago
2004
Traditional proprietary methods of software development are nowadays facing increasing competition by open-source models. Community of users and developers has become a valuable r...
ADCM
2006
14 years 11 months ago
2006
: In a recent paper by the first author, a simple proof was given of a result by Tutte on the validity of barycentric mappings, recast in terms of the injectivity of piecewise line...