Sciweavers

4894 search results - page 711 / 979
» Dynamic Abstraction Planning
Sort
View
CSAC
2006
15 years 8 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
DBSEC
2006
160views Database» more  DBSEC 2006»
15 years 8 months ago
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
Joachim Biskup, Lena Wiese
186
Voted
ERSA
2004
130views Hardware» more  ERSA 2004»
15 years 8 months ago
Computing Lennard-Jones Potentials and Forces with Reconfigurable Hardware
Abstract-- Technological advances have made FPGAs an attractive platform for the acceleration of complex scientific applications. These applications demand high performance and hig...
Ronald Scrofano, Viktor K. Prasanna
BXML
2003
15 years 8 months ago
An XML-based Component Architecture for Personalized Adaptive Web Applications
: Developing personalized applications for the ubiquitous Web assumes to create content that can be automatically adapted to both different presentation platforms and user preferen...
Zoltán Fiala, Michael Hinz, Frank Wehner
DAGSTUHL
2003
15 years 8 months ago
Agent-Environment Interaction in Visual Homing
Abstract. This study illustrates how obstacle avoidance can emerge from a visual homing strategy, caused by the intrinsic geometric structure of the environment. An example is show...
Verena Vanessa Hafner