2623 search results - page 36 / 525 » tools 2010 |
ICWE
2010
Springer
13 years 8 months ago
2010
Springer
Evaluation of the communicative efficacy of a website is important in the context of an organization communication strategy. To address this issue, we propose a systematic method a...
TGC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
TACAS
2010
Springer
14 years 5 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
ESWS
2010
Springer
14 years 2 months ago
2010
Springer
This paper presents GoNTogle, a tool which provides advanced document annotation and search facilities. GoNTogle allows users to annotate several document formats, using ontology c...
INCDM
2010
Springer
13 years 12 months ago
2010
Springer
We present rminer, our open source library for the R tool that facilitates the use of data mining (DM) algorithms, such as neural Networks (NNs) and support vector machines (SVMs),...