Sciweavers

5578 search results - page 499 / 1116
» Base Class Injection
Sort
View
CSFW
2005
IEEE
16 years 17 days ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
VL
2005
IEEE
105views Visual Languages» more  VL 2005»
16 years 16 days ago
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
Esther Guerra, Paloma Díaz, Juan de Lara
AWIC
2005
Springer
16 years 15 days ago
Specifying Schema Mappings for Query Reformulation in Data Integration Systems
In data integration systems there is a problem of answering queries through a target schema, given a set of mappings between source schemas and the target schema, and given that th...
Tadeusz Pankowski
FSKD
2005
Springer
102views Fuzzy Logic» more  FSKD 2005»
16 years 14 days ago
A Fuzzy Mixed Projects and Securities Portfolio Selection Model
The business environment is full of uncertainties. Investing in various asset classes may lower the risk of overall portfolio and increase the potential for greater returns. In thi...
Yong Fang, K. K. Lai, Shouyang Wang
HIP
2005
Springer
174views Cryptology» more  HIP 2005»
16 years 14 days ago
Collaborative Filtering CAPTCHAs
Abstract. Current CAPTCHAs require users to solve objective questions such as text recognition or image recognition. We propose a class of CAPTCHAs based on collaborative filterin...
Monica Chew, J. D. Tygar