Sciweavers

3928 search results - page 346 / 786
» order 2006
Sort
View
SAC
2006
ACM
16 years 1 months ago
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
Alexandre Goldsztejn
SAC
2006
ACM
16 years 1 months ago
Trust-enhanced visibility for personalized document recommendations
Documents are recommended by computer-based systems normally according to their prominence in the document reference network. Based on the requirements identified in a concrete u...
Claudia Hess, Klaus Stein, Christoph Schlieder
SAC
2006
ACM
16 years 1 months ago
A posteriori defensive programming: an annotation toolkit for DoS-resistant component-based architectures
Denial-of-Service (DoS) attacks are a major concern for modern distributed applications. They exploit weakness in the software in order to make it unavailable to well-behaved user...
Valerio Schiavoni, Vivien Quéma
212
Voted
SAC
2006
ACM
16 years 1 months ago
Dynamic instantiation-checking components
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
Nigamanth Sridhar
SIGDOC
2006
ACM
16 years 1 months ago
Designing suited interactions for a document management system handling localized documents
This paper presents an approach for interaction design based on the specificity of the information involved in the interaction. The contribution is intended for application design...
Patrick Etcheverry, Christophe Marquesuzaà,...