4386 search results - page 264 / 878 » A Tamper-Resistant Programming Language System |
141
click to vote
HICSS
2000
IEEE
15 years 7 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
132
click to vote
ESOP
2010
Springer
16 years 19 days ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
236
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
126
Voted
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...
163
click to vote
MCMASTER
1993
15 years 7 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...