4386 search results - page 419 / 878 » A Tamper-Resistant Programming Language System |
142
click to vote
ICALP
1994
Springer
15 years 8 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
160
click to vote
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
108
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...
142
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
100
click to vote
IFIP
2005
Springer
15 years 9 months ago
2005
Springer
As Linux kernel-based operating systems gain market share there will be an inevitable increase in Linux systems that law enforcement agents must process at cybercrime scenes. The ...