Sciweavers

3725 search results - page 541 / 745
» DLP System Description
Sort
View
245
Voted
POPL
2008
ACM
16 years 4 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani
SIGMOD
2008
ACM
65views Database» more  SIGMOD 2008»
16 years 4 months ago
Generating targeted queries for database testing
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...
Chaitanya Mishra, Nick Koudas, Calisto Zuzarte
ICSE
2004
IEEE-ACM
16 years 4 months ago
Theme: An Approach for Aspect-Oriented Analysis and Design
Aspects are behaviours that are tangled and scattered across a system. In requirements documentation, aspects manifest themselves as descriptions of behaviours that are intertwine...
Elisa L. A. Baniassad, Siobhán Clarke
130
Voted
PERCOM
2006
ACM
16 years 4 months ago
An E-Learning Platform for Academy and Industry Networks
The European project COMSON (Coupled Multiscale Simulation and Optimization in Nanoelectronics) is a Marie Curie RTN project that involves five partners from academia and three fr...
Giuseppe Ali, Eleonora Bilotta, Lorella Gabriele, ...
WILF
2009
Springer
487views Fuzzy Logic» more  WILF 2009»
16 years 3 months ago
A combined Fuzzy and Probabilistic data descriptor for distributed CBIR
With the wide diffusion of digital image acquisition devices, the cost of managing hundreds of digital images is quickly increasing. Currently, the main way to search digital ima...
Marco La Cascia, Marco Morana, Roberto Gallea