Sciweavers

73 search results - page 4 / 15
» Towards a dynamic object model within Unix processes
Sort
View
ICRA
2005
IEEE
145views Robotics» more  ICRA 2005»
14 years 3 months ago
Modeling the Static and the Dynamic Parts of the Environment to Improve Sensor-based Navigation
— This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information within a real sensor-based navigation system. The contribution...
Luis Montesano, Javier Minguez, Luis Montano
ENTCS
2007
140views more  ENTCS 2007»
13 years 9 months ago
Secured Information Flow for Asynchronous Sequential Processes
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
Isabelle Attali, Denis Caromel, Ludovic Henrio, Fe...
CSFW
2012
IEEE
12 years 7 days ago
Information-Flow Security for a Core of JavaScript
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
Daniel Hedin, Andrei Sabelfeld
FLAIRS
2007
14 years 3 days ago
Towards Player Preference Modeling for Drama Management in Interactive Stories
There is a growing interest in producing story based game experiences that do not follow fixed scripts predefined by the author, but change the experience based on actions perfo...
Manu Sharma, Santiago Ontañón, Chris...
IWFM
2003
172views Formal Methods» more  IWFM 2003»
13 years 11 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane