Sciweavers

757 search results - page 99 / 152
» clear 2007
Sort
View
ICTAC
2007
Springer
15 years 4 months ago
On the Expressive Power of QLTL
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
Zhilin Wu
ICWE
2007
Springer
15 years 4 months ago
Model-driven Construction of Workflow-based Web Applications with Domain-specific Languages
The requirements for Web applications concerning workflow execution, interaction, aesthetics, federation and Web service integration are steadily increasing. Considering their comp...
Patrick Freudenstein, Jan Buck, Martin Nussbaumer,...
ICWE
2007
Springer
15 years 4 months ago
Active Rules for Runtime Adaptivity Management
The trend over the last years clearly shows that modern Web development is evolving from traditional, HTML-based Web sites to fullfledged, complex Web applications, also equipped ...
Florian Daniel, Maristella Matera, Alessandro Mora...
ISW
2007
Springer
15 years 4 months ago
Towards a DL-Based Additively Homomorphic Encryption Scheme
ElGamal scheme has been the first encryption scheme based on discrete logarithm. One of its main advantage is that it is simple, natural and efficient, but also that its security ...
Guilhem Castagnos, Benoît Chevallier-Mames
KDD
2007
ACM
210views Data Mining» more  KDD 2007»
15 years 4 months ago
Machine learning for stock selection
In this paper, we propose a new method called Prototype Ranking (PR) designed for the stock selection problem. PR takes into account the huge size of real-world stock data and app...
Robert J. Yan, Charles X. Ling