Sciweavers

1604 search results - page 232 / 321
» Development Separation in Lambda-Calculus
Sort
View
GEOINFO
2004
15 years 2 months ago
Towards a Web Service for Geographic and Multidimensional Processing
: A lot of research has been developed for integrating the analysis functionality that is available in both analytic and geographic processing systems. The main goal is to provide ...
Joel da Silva, Valéria Cesário Times...
98
Voted
IADIS
2004
15 years 2 months ago
Preliminary Steps in Designing and Implementing a Privilege Verifier for PMI
We have designed and deployed a system that uses X.509 public-key certificates (PKC) and attribute certificates (AC) for access control. This includes an authorization service for...
Diana Berbecaru, Antonio Lioy
87
Voted
IADIS
2004
15 years 2 months ago
Internet diffusion in the non profit sector in Italy
This paper analyzes Internet diffusion among organizations, based on daily observation of the registration of second level domain names under the ".it" ccTLD. In particu...
Maurizio Martinelli, Irma Serrecchia, Michela Serr...
103
Voted
FDBS
2001
108views more  FDBS 2001»
15 years 2 months ago
Combining a Formal with an Example-driven Approach for Data Integration
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
Ingolf Geist, Kai-Uwe Sattler, Ingo Schmitt
IKE
2004
15 years 2 months ago
Conditional Mapping in Data Mediation
A serious problem facing many organizations today is the need to share information among systems that have been developed separately. Conflicts in the structure and semantics of t...
Paul L. Bergstein, Vishal Shah