686 search results - page 124 / 138 » Securing Mobile Agent Based Tele-Assistance Systems |
ISCAPDCS
2001
14 years 5 days ago
2001
In this paper, we propose a fault-tolerant mechanism for microprocessors, which detects transient faults and recovers from them. There are two driving force to investigate fault-t...
POPL
2000
ACM
14 years 3 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
ATAL
2011
Springer
12 years 10 months ago
2011
Springer
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
ANSS
2003
IEEE
14 years 4 months ago
2003
IEEE
As the average bandwidth capacity is increasing, users around the world demand for shorter service time. While the servers are able to acquire more bandwidth, they can not keep up...
SACMAT
2009
ACM
14 years 5 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...