Sciweavers

5082 search results - page 302 / 1017
» Actionable Information in Vision
Sort
View
TRUSTBUS
2007
Springer
16 years 1 months 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 1 months 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
178
Voted
CEC
2005
IEEE
16 years 1 months 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
204
Voted
CEEMAS
2005
Springer
16 years 1 months 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
174
Voted
PG
2003
IEEE
16 years 23 days 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