Sciweavers

26496 search results - page 360 / 5300
» An Approach to Computing Ethics
Sort
View
TACAS
2010
Springer
162views Algorithms» more  TACAS 2010»
16 years 1 months ago
Computing the Leakage of Information-Hiding Systems
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
Miguel E. Andrés, Catuscia Palamidessi, Pet...
AINA
2009
IEEE
16 years 1 months ago
A Property Based Framework for Trust and Reputation in Mobile Computing
In this paper we reinforce the benefits of a trust based approach in mobile multi-agent systems. Whilst we do not specify a trust model we provide a framework for property based ...
Kevin Jones, Helge Janicke, Antonio Cau
EVOW
2009
Springer
16 years 1 months ago
A Hybrid Algorithm for Computing Tours in a Spare Parts Warehouse
We consider a real-world problem arising in a warehouse for spare parts. Items ordered by customers shall be collected and for this purpose our task is to determine efficient picku...
Matthias Prandtstetter, Günther R. Raidl, Tho...
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
16 years 1 months ago
On computing robust n-finger force-closure grasps of 3D objects
Abstract— The paper deals with computing frictional forceclosure grasps of 3D objects problem. The key idea of the presented work is the demonstration that wrenches associated to...
Sahar El-Khoury, Anis Sahbani
ACG
2009
Springer
16 years 1 months ago
Data Assurance in Opaque Computations
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
Joe Hurd, Guy Haworth