Sciweavers

5210 search results - page 682 / 1042
» Tools for Distributed Facilitation
Sort
View
DAIS
2006
15 years 8 months ago
A Code Migration Framework for AJAX Applications
AJAX (Asynchronous JavaScript and XML) defines a new paradigm for writing highly interactive web applications. Prominent web sites such as Google Maps have made AJAX popular. Writi...
Arno Puder
IADIS
2004
15 years 8 months ago
Experiences of the Use of Argumentation Visualisation in Secondary Schools
Argument visualisation refers to graphical or other non-verbal means of making reasoning chains and conclusions explicit. Constructing argument diagrams is one way to visualise ar...
Miika Marttunen, Leena Laurinen
APLAS
2010
ACM
15 years 7 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
AIL
2007
126views more  AIL 2007»
15 years 7 months ago
A web ontologies framework for digital rights management
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
Roberto García, Rosa Gil, Jaime Delgado
BMCBI
2010
151views more  BMCBI 2010»
15 years 7 months ago
BABAR: an R package to simplify the normalisation of common reference design microarray-based transcriptomic datasets
Background: The development of DNA microarrays has facilitated the generation of hundreds of thousands of transcriptomic datasets. The use of a common reference microarray design ...
Mark J. Alston, John Seers, Jay C. D. Hinton, Sach...