Sciweavers

464 search results - page 51 / 93
» hybrid 2009
Sort
View
CSFW
2009
IEEE
14 years 4 months ago
Tight Enforcement of Information-Release Policies for Dynamic Languages
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
Aslan Askarov, Andrei Sabelfeld
DATE
2009
IEEE
146views Hardware» more  DATE 2009»
14 years 4 months ago
Heterogeneous multi-core platform for consumer multimedia applications
—This paper presents a multi-core SoC architecture for consumer multimedia applications. The comprehensive functionality of such multimedia systems is described using the example...
Peter Kollig, Colin Osborne, Tomas Henriksson
XSYM
2009
Springer
138views Database» more  XSYM 2009»
14 years 4 months ago
XQuery Full Text Implementation in BaseX
Abstract. LONG PAPER. BaseX is an early adopter of the upcoming XQuery Full Text Recommendation. This paper presents some of the enhancements made to the XML database to fully supp...
Christian Grün, Sebastian Gath, Alexander Hol...
CMSB
2009
Springer
14 years 4 months ago
Computing Reachable States for Nonlinear Biological Models
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
Thao Dang, Colas Le Guernic, Oded Maler
AE
2009
Springer
13 years 11 months ago
On-Line, On-Board Evolution of Robot Controllers
This paper reports on a feasibility study into the evolution of robot controllers during the actual operation of robots (on-line), using only the computational resources within the...
Nicolas Bredeche, Evert Haasdijk, A. E. Eiben