4386 search results - page 248 / 878 » A Tamper-Resistant Programming Language System |
133
click to vote
ENTCS
2010
15 years 3 months ago
2010
Solutions of recursive program schemes over a given signature were characterized by Bruno Courcelle as precisely the context-free (or algebraic) -trees. These are the finite and ...
155
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
143
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
112
click to vote
AIED
2005
Springer
15 years 8 months ago
2005
Springer
Educational content developers, including AIED developers, traditionally make a distinction between formative evaluation and summative evaluation of learning materials. Although th...
116
click to vote
IFIP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...