4386 search results - page 571 / 878 » A Tamper-Resistant Programming Language System |
136
click to vote
AAAI
1992
15 years 5 months ago
1992
This paper describes a series of experiments that were performed on the Rocky III robot.1 Rocky III is a small autonomous rover capable of navigating through rough outdoor terrain...
127
click to vote
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
135
Voted
HAPTICS
2003
IEEE
15 years 9 months ago
2003
IEEE
As haptic technology becomes more developed, the potential applications for three-dimensional haptic content online become more and more numerous. However, the proliferation of su...
139
Voted
MASCOTS
2003
15 years 5 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
153
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...