Sciweavers

643 search results - page 8 / 129
» A browser for incremental programming
Sort
View
EKAW
2006
Springer
13 years 11 months ago
Evaluating a Thesaurus Browser for an Audio-visual Archive
In this article we report on a user study aimed at evaluating and improving a thesaurus browser. The browser is intended to be used by documentalists of a large public audio-visual...
Véronique Malaisé, Lora Aroyo, Henni...
SLP
1990
121views more  SLP 1990»
13 years 8 months ago
Analysis of Constraint Logic Programs
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
Kim Marriott, Harald Søndergaard
GECCO
2005
Springer
14 years 1 months ago
Scalability of genetic programming and probabilistic incremental program evolution
Radovan Ondas, Martin Pelikan, Kumara Sastry
CCS
2008
ACM
13 years 9 months ago
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
Alessandro Armando, Roberto Carbone, Luca Compagna...
WEBDB
2009
Springer
130views Database» more  WEBDB 2009»
14 years 2 months ago
A Referential Integrity Browser for Distributed Databases
We demonstrate a program that can inspect a distributed relational database on the Internet to discover and quantify referential integrity issues for integration purposes. The pro...
Carlos Ordonez, Javier García-García...