8701 search results - page 1549 / 1741 » XML-Based Feature Modelling |
128
Voted
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
iCamp is an EC-funded research project in the area of Technology Enhanced Learning (TEL) that aims to support collaboration and social networking across systems, countries and disc...
136
Voted
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
140
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
131
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
172
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...