4386 search results - page 445 / 878 » A Tamper-Resistant Programming Language System |
157
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
158
click to vote
TON
2012
13 years 6 months ago
2012
—This paper presents DAWN, a declarative platform that creates highly adaptive policy-based MANET protocols. DAWN leverages declarative networking techniques to achieve extensibl...
151
click to vote
CONCURRENCY
1998
15 years 4 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
146
click to vote
FPCA
1989
15 years 8 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
136
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Continuation-based Web servers provide advantages over traditional Web application development through the increase of expressive power they allow. This leads to fewer errors and ...