Sciweavers

5082 search results - page 302 / 1017
» Actionable Information in Vision
Sort
View
TRUSTBUS
2007
Springer
16 years 25 days ago
Usage Control in Service-Oriented Architectures
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
Alexander Pretschner, Fabio Massacci, Manuel Hilty
LICS
2006
IEEE
16 years 22 days ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
CEC
2005
IEEE
16 years 11 days ago
Evolving controllers for simulated car racing
AbstractThis paper describes the evolution of controllers for racing a simulated radio-controlled car around a track, modelled on a real physical track. Five different controller a...
Julius Togelius, Simon M. Lucas
CEEMAS
2005
Springer
16 years 8 days ago
SECMAP: A Secure Mobile Agent Platform
This paper describes a mobile agent platform, Secure Mobile Agent Platform (SECMAP), and its security infrastructure. Unlike other agent systems, SECMAP proposes a new agent model,...
Suat Ugurlu, Nadia Erdogan
PG
2003
IEEE
16 years 4 hour ago
Simulating Wax Crayons
We present a physically-inspired model of wax crayons, which synthesizes drawings from collections of userspecified strokes. Paper is represented by a height-field texture, and ...
Dave Rudolf, David Mould, Eric Neufeld