4386 search results - page 431 / 878 » A Tamper-Resistant Programming Language System |
119
click to vote
AFP
2008
Springer
15 years 10 months ago
2008
Springer
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
137
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...
121
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
120
click to vote
ENTCS
2007
15 years 4 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
119
click to vote
ISVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...