3018 search results - page 135 / 604 » Leveraging the |
108
click to vote
ER
2004
Springer
15 years 9 months ago
2004
Springer
There exist several recent approaches that leverages the use of model transformations during software development. The existence erent kinds of models, at different levels of abst...
117
click to vote
IPTPS
2004
Springer
15 years 9 months ago
2004
Springer
— The equality and anonymity of peer-to-peer networks makes them vulnerable to routing denial of service attacks from misbehaving nodes. In this paper, we investigate how existin...
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
Traditional library catalog systems have been effective in providing access to collections of books, films, and other material. However, they have many limitations when it comes ...
129
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
118
click to vote
MDM
2004
Springer
15 years 9 months ago
2004
Springer
Enabling people-to-people interaction across heterogeneous communication end-points enhances user experience and fosters people collaboration. This paper presents the design and i...