32607 search results - page 329 / 6522 » Supporting |
195
click to vote
ICWE
2007
Springer
16 years 29 days ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
192
click to vote
ISSAC
2007
Springer
16 years 29 days ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
201
click to vote
IWOMP
2007
Springer
16 years 29 days ago
2007
Springer
OpenMP is widely used for shared memory parallel programming and is especially useful for the parallelisation of loops. When it comes to task parallelism, however, OpenMP is less p...
181
click to vote
MDM
2007
Springer
16 years 29 days ago
2007
Springer
This demonstration presents iPDA, a system to support privacy-preserving data access in location-based mobile services. The iPDA system consists of three main components: 1) a mob...
217
click to vote
PREMI
2007
Springer
16 years 28 days ago
2007
Springer
Support vector machine (SVM) which was originally designed for binary classification has achieved superior performance in various classification problems. In order to extend it to ...