Sciweavers

2947 search results - page 421 / 590
» Analyzing Program Analyses
Sort
View
UM
2005
Springer
15 years 7 months ago
Exploiting Probabilistic Latent Information for the Construction of Community Web Directories
This paper improves a recently-presented approach to Web Personalization, named Community Web Directories, which applies personalization techniques to Web Directories. The Web dire...
Dimitrios Pierrakos, Georgios Paliouras
EUROSPI
2004
Springer
15 years 7 months ago
Discovering the Relation Between Project Factors and Project Success in Post-mortem Evaluations
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...
Joost J. P. Schalken, Sjaak Brinkkemper, Hans van ...
FASE
2004
Springer
15 years 7 months ago
Enhancing Remote Method Invocation through Type-Based Static Analysis
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
HYBRID
2004
Springer
15 years 7 months ago
Almost ASAP Semantics: From Timed Models to Timed Implementations
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
IFIP
2004
Springer
15 years 7 months ago
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
Jerry den Hartog, Erik P. de Vink