4731 search results - page 148 / 947 » Securing Interactive Programs |
ICMLC
2010
Springer
13 years 7 months ago
2010
Springer
: This paper focused on designing of a ubiquitous interface agent based on the ontology technology and interaction diagram with the backend information agent system, i.e., OntoIAS,...
RAS
2010
13 years 7 months ago
2010
Much of the literature shows that Central Pattern Generators (CPGs) are a good approach for generating periodic motions for legged robots. In most of the presented works the numer...
CASES
2010
ACM
13 years 7 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
ACSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
SOUPS
2005
ACM
14 years 2 months ago
2005
ACM
In our research, we have been concerned with the question of how to make relevant features of security situations visible to users in order to allow them to make informed decision...