Inria
Inria.fr
Inria Channel
There are 3 Results with the keyword : "web"
European Research Council 2010
Karthik Bhargavan: proving the safety of web applications
The medical saying "prevention is better than cure" also applies to computers. Karthik Bhargavan, a young researcher from the MOSCOVA team, recently received an ERC grant to continue his work on ensuring the safety of services such as personal and sensitive data management. This work is both theoretical and highly applied, and is carried out at the Inria and Microsoft Research joint laboratory. We went to meet this researcher.
Keywords:
Home > Research > News > Karthik Bhargavan : prouver la sûreté des applications web
Innovation - Embedded systems
Bigimbaz: large-scale image search
Bigimbaz is a search tool for collections of images. Users provide it with a requested image, and it returns the most similar images from the collection, which can include millions of images. The API can be integrated into any software, particularly a web server, like in the demonstration program.
Keywords:
Home > Centre > Lille > Innovation > Industries of commerce > Demo > Bigimbaz : recherche d'images à grande échelle
W3C
W3C workshop
W3C workshop
W3C invites automotive manufacturers and service providers, wireless carriers, media service providers and advertisers, insurance companies, application and solution developers and others to participate in the W3C workshop on Web and Automotive, 14-15 Nov. 2012, Rome, Italy.
Place : Rome (Italy)
Inria Research Centers
