Sciweavers

3006 search results - page 229 / 602
» Overview
Sort
View
ECUMN
2007
Springer
15 years 10 months ago
Context-Sensitive Security Framework for Pervasive Environments
Pervasive systems enable us to have an overview of what digital environments will look like in the future. Opportunities given by pervasive systems, both in terms of applications ...
Charles-Eric Pigeot, Yann Gripay, Vasile-Marian Sc...
ERCIMDL
2007
Springer
121views Education» more  ERCIMDL 2007»
15 years 10 months ago
MultiMatch - Multilingual/Multimedia Access to Cultural Heritage
Cultural heritage content is everywhere on the web, in traditional environments such as libraries, museums, galleries and audiovisual archives, but also in popular magazines and n...
Giuseppe Amato, Juan M. Cigarrán, Julio Gon...
ESWS
2007
Springer
15 years 10 months ago
The Web Mashup Scripting Language Profile
This paper provides an overview of the Web Mashup Scripting Language (WMSL) and discusses the WMSL-Profile. It specifies the HTML encoding that is used to import Web Service Descri...
Marwan Sabbouh, Jeff Higginson, Caleb Wan, Salim S...
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
15 years 10 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
ISSAC
2007
Springer
131views Mathematics» more  ISSAC 2007»
15 years 10 months ago
Some recent progress in exact linear algebra and related questions
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
Gilles Villard