3821 search results - page 730 / 765 » A Security Model for Aglets |
124
click to vote
ENTCS
2007
15 years 18 days ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
101
Voted
PERVASIVE
2006
Springer
15 years 17 days ago
2006
Springer
Today, several costs caused by road traffic may either be only roughly approximated, or cannot be clearly assigned to the drivers causing them, or both. They are typically distribu...
119
Voted
TCS
2008
15 years 17 days ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
136
click to vote
TDSC
2008
15 years 17 days ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
133
click to vote
JCIT
2007
15 years 16 days ago
2007
The applications in many scientific fields, like bioinformatics and high-energy physics etc, increasingly demand the computing infrastructures can provide more computing power and...